Moved the Eq[A] requirement into an additional typeclass parameter (Monoid.isId, AdditiveMonoid.isZero, MultiplicativeMonoid.isOne).