On 1 February 2011 11:41, John Lato <jwlato@gmail.com> wrote:

The important point is that this declares an AbGroup instance for every type, not just types with Num instances.

So, is there a way to declare an AbGroup instance for the types with num instances only?

Thanks,

Ozgur