reflexivityEq

EqLaws

reflexivityGt

PartialOrderLaws

reflexivityLt

PartialOrderLaws

repeat0

MonoidLaws

repeat1

SemigroupLaws

repeat2

SemigroupLaws

rhs

IsEq

rightIdentity

MonoidLaws

rightInverse

GroupLaws