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 x :++ y :: [k]

class Split s t st

type family Cmp a b :: Ordering

type family Filter f p xs :: [k]

data Flag

type family Nub t

class Nubable t

type AsSet s

asSet

type IsSet s

class Subset s t

type family Delete elem set

data Proxy p