Data.Expression.Sort

data Sort

data family Sing k (a :: k) :: *

data DynamicSort

data DynamicallySorted f

parseSort

toStaticSort

toStaticallySorted