Data.Semiring.Properties

plus'comm

left'zero

add'assoc

left'one

right'one

mul'assoc

left'distr

right'distr

left'ann

right'ann