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

type (k $ k1) f a