On Fri, Jul 13, 2012 at 7:29 AM, Aleksey Khudyakov <alexey.skladnoy@gmail.com> wrote:
Num inherits from Eq, so Float couldn't have an instance for Num if we
didn't have that Eq instance.

No more since GHC 7.4. But Eq is indeed superclass of Ord and it Ord is used a lot.

...but Float's Ord instance is even more dubious than its Eq. 

--
brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms