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