[EMAIL PROTECTED] (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. -kzm -- If I haven't seen further, it is by standing in the footprints of giants _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Dylan Thurston
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Ketil Malde
- Re: Primitive types and Prelude shenanigans Fergus Henderson
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Fergus Henderson
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Dylan Thurston