laws
kernel
BandTests
BoundedSemilatticeTests
CommutativeGroupTests
CommutativeMonoidTests
CommutativeSemigroupTests
EqTests
GroupTests
HashTests
MonoidTests
OrderTests
PartialOrderTests
SemigroupTests
SemilatticeTests
leftIdentity
MonoidLaws
leftInverse
GroupLaws
lhs
IsEq
IsEqArrow
lt
PartialOrderLaws