Re: [Haskell-cafe] Monad laws

On the subject of Double and laws, I imagine it would have been possible to do the kind of thing the SML Basis Library does for equality. SML spells equality '=' and it's not defined on the floating point types, which have a *different* operator, '=='. In the same way, the Prelude could have been structured so that integers and ratios belonged to Ord but floats did not. Floats could have had operators like #< #= instead. It would have been surprising, but so is x == x being False surprising.