Generics.SOP.Constraint

class All f xs

type family AllF (c :: k -> Constraint) (xs :: [k]) :: Constraint

type SListI2

class All2 f xss

class Compose f g x

class And f g x

class Top x

type family AllN (h :: (k -> *) -> l -> *) (c :: k -> Constraint) :: l -> Constraint

type family SListIN (h :: (k -> *) -> l -> *) :: l -> Constraint

data Constraint