Data.Constraint.Forall
type family Forall p :: Constraint
inst
type family ForallF p f :: Constraint
instF
type Forall1 p
inst1
type family ForallT p t :: Constraint
instT