Test.Semiring

plusAssoc

mulAssoc

plusComm

mulDistribL

mulDistribR

plusId

mulId

annihilate

unaryLaws

binaryLaws

ternaryLaws

starLaw

plusLaw

starLaws

nearTernaryLaws

ordLaws

zeroLaw

zeroIsZero

zeroLaws

nearUnaryLaws