Data.Type.Map

data Mapping k v

type Union m n

type Unionable s t

union

data Var k

data Map n

type family Combine a b :: v

class Combinable t t'

type family Cmp a b :: Ordering

class Nubable t

type family Lookup m c :: Maybe v

type family Member c m :: Bool

type family m :\ c :: [Mapping k v]

class Split s t st

type IsMap s

type AsMap s

asMap

class Submap s t