Combine two constraint constructors of kind
χ -> , where
χ is any kind.
This is the same as
type (c :&: d) a = (c a, d a)
except that it can be partially applied.
f :: ((Eq :&: Enum :&: Bounded) a) => a -> Bool
is equivalent to
f :: (Eq a, Enum a, Bounded a) => a -> Bool
|(c a, d a) => (k :&: c) d a|