Test.Semiring

plusAssoc

mulAssoc

plusComm

mulDistribL

mulDistribR

plusId

mulId

annihilate

unaryLaws

binaryLaws

ternaryLaws

starLaw

plusLaw

starLaws

nearUnLaws

nearTernaryLaws

ordLaws