TypeFun.Constraint

type family AllSatisfy c s :: Constraint