Data.Extensible.Internal
data Membership xs x
class Member xs x
type x ∈ xs
data Assoc k v
type (>:)
class Associate k v xs
type family Elaborate (key :: k) (xs :: [v]) :: Elaborated k v where ...
data Elaborated k v
data NavHere xs x
data Nat
class KnownPosition n
type family Head (xs :: [k]) :: k where ...
type family Last (x :: [k]) :: k where ...