Data.Extensible.Internal
data Membership xs x
class Member xs x
type x ∈ xs
data Assoc k v
class Associate k v xs
type family FindAssoc key xs
type family Elaborate key xs :: Elaborated k v
data Elaborated k v
data NavHere xs x
data Nat
class KnownPosition n
type family Half xs :: [k]
type family Head xs :: k
type family Tail xs :: [k]
type family xs ++ ys :: [k]
type family Map f xs :: [k]
type family Merge xs ys :: [k]
type family Concat xs :: [k]