Documentation

type Forall p = (p A, p B)Source

inst :: forall p a. Forall p :- p aSource

type Forall1 p = (p F, p M)Source

inst1 :: forall p f. Forall1 p :- p fSource