Primitive types and Prelude shenanigans

Ketil Malde
22 Feb 2001 11:15:39 +0100 (Marcin 'Qrczak' Kowalczyk) writes:

> 'negate' defined, as it's obviously meaningless for them. We can put
> 'fromInteger' in some class and 'negate' in its subclass, and make
> only the former instance for natural numbers.

Nitpick: not necessarily its subclass, either.  We can probably
imagine types where negate makes sense, but fromInteger does not, as
well as vice versa.

If I haven't seen further, it is by standing in the footprints of giants