@@ -384,8 +384,8 @@ class Semiring a where
385Addition and multiplication, satisfying the following laws:
385Addition and multiplication, satisfying the following laws:
387−- `a` is a commutative monoid under addition
387+- `a` is a commutative monoid under addition with identity element zero
388−- `a` is a monoid under multiplication
388+- `a` is a monoid under multiplication with identity element one
389- multiplication distributes over addition
389- multiplication distributes over addition
390- multiplication by `zero` annihilates `a`
390- multiplication by `zero` annihilates `a`