| (Semiring Integer, Additive (ZeroRng r), Group r) => RightModule Integer (ZeroRng r) | |
| (Semiring Natural, Additive (ZeroRng r), Monoidal r) => RightModule Natural (ZeroRng r) | |
| (Semiring Integer, Additive (ZeroRng r), Group r) => LeftModule Integer (ZeroRng r) | |
| (Semiring Natural, Additive (ZeroRng r), Monoidal r) => LeftModule Natural (ZeroRng r) | |
| Eq r => Eq (ZeroRng r) | |
| (Eq (ZeroRng r), Ord r) => Ord (ZeroRng r) | |
| Read r => Read (ZeroRng r) | |
| Show r => Show (ZeroRng r) | |
| (Additive (ZeroRng r), Idempotent r) => Idempotent (ZeroRng r) | |
| (Additive (ZeroRng r), Abelian r) => Abelian (ZeroRng r) | |
| Additive r => Additive (ZeroRng r) | |
| (LeftModule Natural (ZeroRng r), RightModule Natural (ZeroRng r), Monoidal r) => Monoidal (ZeroRng r) | |
| (Additive (ZeroRng r), Abelian (ZeroRng r), Multiplicative (ZeroRng r), Monoidal r, Abelian r) => Semiring (ZeroRng r) | |
| Monoidal r => Multiplicative (ZeroRng r) | |
| (LeftModule Integer (ZeroRng r), RightModule Integer (ZeroRng r), Monoidal (ZeroRng r), Group r) => Group (ZeroRng r) | |
| (Group (ZeroRng r), Semiring (ZeroRng r), Group r, Abelian r) => Rng (ZeroRng r) | |
| (Multiplicative (ZeroRng r), Monoidal r) => Commutative (ZeroRng r) | |