Test.Semiring

plusAssoc

mulAssoc

plusComm

mulDistribL

mulDistribR

plusId

mulId

semiringLaws