Re: Two prelude/library matters

[Jerzy Karczmarczuk]

Koen Claessen:


> Clearly, one would like to define the following default definition as
> well:
> 
>     negate x = 0 - x


Perhaps somebody noticed that already, but also for Fractional
objects (which I would love to see belonging to the Field class...)

one should have the default: x/y = x * recip y, together
with recip x = 1/x.


Jerzy Karczmarczuk
Caen, France.