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 :: v) (b :: v) :: v

class Combinable t t'

type family Cmp (a :: k) (b :: k) :: Ordering

type family Lookup (m :: [Mapping k v]) (c :: k) :: Maybe v where ...

type family Member (c :: k) (m :: [Mapping k v]) :: Bool where ...

type family (m :: [Mapping k v]) :\ (c :: k) :: [Mapping k v] where ...