Data.Constraint.Forall

type Forall p

inst

type Forall1 p

inst1