Data.Extensible.Class
class Extensible f p t
data Membership xs x
class Member xs x
type x ∈ xs
class Generate xs
class Forall c xs
type family ForallF (c :: k -> Constraint) (xs :: [k]) :: Constraint where ...
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