MonoidLaws

laws

MonoidTests

discipline

max

OrderLaws

min

OrderLaws

monoid

MonoidTests