reflexitivityEq

EqLaws

reflexitivityGt

PartialOrderLaws

reflexitivityLt

PartialOrderLaws

repeat0

MonoidLaws

repeat1

SemigroupLaws

repeat2

SemigroupLaws

rhs

IsEq

rightIdentity

MonoidLaws

rightInverse

GroupLaws