type family Each (c :: [k -> Constraint]) (as :: [k]) where ...

type With a b

type (k $ k1) f a