Test.Validity.Operations
leftIdentityOnElemWithEquality
leftIdentityOnGenWithEquality
leftIdentityOnGen
leftIdentityOnValid
leftIdentity
leftIdentityOnArbitrary
rightIdentityOnElemWithEquality
rightIdentityOnGenWithEquality
rightIdentityOnGen
rightIdentityOnValid
rightIdentity
rightIdentityOnArbitrary
identityOnGen
identityOnValid
identity
identityOnArbitrary
associativeOnGens
associativeOnValids
associative
associativeOnArbitrary
commutativeOnGens
commutativeOnValids
commutative
commutativeOnArbitrary