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