laws

kernel BandTests BoundedSemilatticeTests CommutativeGroupTests CommutativeMonoidTests CommutativeSemigroupTests EqTests GroupTests HashTests MonoidTests OrderTests PartialOrderTests SemigroupTests SemilatticeTests

leftIdentity

MonoidLaws

leftInverse

GroupLaws

lhs

IsEq IsEqArrow

lt

PartialOrderLaws