TypeFun.Constraint

type family AllSatisfy (c :: k -> Constraint) (s :: [k]) :: Constraint where ...