| (Reducer c r, Reducer c m) => Reducer c (D r m) |
| (Arbitrary r, Arbitrary m) => Arbitrary (D r m) |
| (CoArbitrary r, CoArbitrary m) => CoArbitrary (D r m) |
| (Monoid r, Monoid m) => Monoid (D r m) |
| Module r m => Multiplicative (D r m) |
| (LeftSemiNearRing r, Module r m) => LeftSemiNearRing (D r m) |
| (RightSemiNearRing r, Module r m) => RightSemiNearRing (D r m) |
| (SemiRing r, Module r m) => SemiRing (D r m) |
| (Group r, Module r m, Group m) => Group (D r m) |
| (Ring r, Module r m, Group m) => Ring (D r m) |