AnyF

prelude

AssertionSyntax

laws

AssociativeBothLaws

laws

AssociativeEitherLaws

laws

AssociativeFlattenLaws

laws

AssociativeLaws

laws

antisymmetryLaw1

PartialOrdLaws

antisymmetryLaw2

PartialOrdLaws

any

prelude

anyNatural

Gens

assertionRec

TestAssertions

associativityLaw

AssociativeBothLaws AssociativeEitherLaws AssociativeFlattenLaws AssociativeLaws