Composite.Record
data Rec u a b
type Record
data s :-> a
type RElem r rs
type family AllHave (cs :: [u -> Constraint]) (as :: [u]) :: Constraint where ...
type family HasInstances (a :: u) (cs :: [u -> Constraint]) :: Constraint where ...
type family ValuesAllHave (cs :: [u -> Constraint]) (as :: [u]) :: Constraint where ...
class ReifyNames rs
class RecWithContext ss ts