Test.Semiring

plusAssoc

mulAssoc

plusComm

mulDistribL

mulDistribR

plusId

mulId

annihilate

unaryLaws

binaryLaws

ternaryLaws