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