>Integers are not monoids. As I stated in GP, the combination (Integer, +, 0) defines a monoid This is simply being pedantic. We're all well aware of the mean

>Integers are not monoids. As I stated in GP, the combination (Integer, +, 0) defines a monoid This is simply being pedantic. We're all well aware of the meaning of what I said, as it is how it is almost always said. >Both of these approaches are workarounds for the problem that typeclass instances That's not a problem, it is the point. That is what typeclasses were intended to be.