Generics.SOP.Constraint
class All f xs
type family AllF c xs :: Constraint
type SListI2
class All2 f xss
class Compose f g x
class And f g x
class Top x
type family AllN h c :: l -> Constraint
type family SListIN h :: l -> Constraint
data Constraint