úÎ  Ñ=Thomas Wilke, Frank Huch, Sebastian Fischer, Peter HarpendingBSD3&Peter Harpending <pharpend2@gmail.com> Safe-Inferred;A semiring is an additive commutative monoid with identity : X a .+. b == b .+. a zero .+. a == a (a .+. b) .+. c == a .+. (b .+. c)4A semiring is a multiplicative monoid with identity : U one .*. a == a a .*. one == a (a .*. b) .*. c == a .*. (b .*. c))Multiplication distributes over addition: Ya .*. (b .+. c) == (a .*. b) .+. (a .*. c) (a .+. b) .*. c == (a .*. c) .+. (b .*. c)7 annihilates a semiring with respect to multiplication: )zero .*. a == zero a .*. zero == zerosemiring-simple-0.2.0.0 Data.SemiringSemiringzeroone.+..*.