Predicate, Equivalence derive via a->All and a->a->All,
Derive Semigroup
and Monoid
for Predicate a
and Equivalence a
via a->All
and a->a->All
respectively.
Add instance signatures.
Derive Semigroup
and Monoid
for Predicate a
and Equivalence a
via a->All
and a->a->All
respectively.
Add instance signatures.