Generics.SOP.Constraint

class All f xs

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

type SListI2

class All2 f xss

class AllZip c xs ys

type family AllZipF (c :: a -> b -> Constraint) (xs :: [a]) (ys :: [b]) :: Constraint where ...

type family SameShapeAs (xs :: [a]) (ys :: [b]) :: Constraint where ...

type family Head (xs :: [a]) :: a where ...

type family Tail (xs :: [a]) :: [a] where ...

class LiftedCoercible f g x y

class AllZip2 f xss yss

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 AllZipN (h :: (k -> *) -> l -> *) (c :: k1 -> k2 -> Constraint) :: l1 -> l2 -> Constraint

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

data Constraint