Data.Semiring.Properties
plus'comm
left'zero
add'assoc
left'one
right'one
mul'assoc
left'distr
right'distr
left'ann
right'ann