Data.Type.Set

data Set n

type Union s t

type Unionable s t

union

append

type family Sort xs :: [k]

class Sortable xs

type family Append s t :: [k]

class Split s t st

type family Cmp a b :: Ordering

type family Nub t

class Nubable t

type AsSet s

asSet

type IsSet s

class Subset s t

data k :-> v

data Var k