[Haskell-cafe] instance Enum Double considered not entirely great?

[Richard O'Keefe]

On 21/09/2011, at 2:18 PM, Casey McCann wrote:
> 
> I still don't see why it makes sense to add separate IEEE comparisons
> instead of just adding a standard partial order class, though.

In any mathematical partial order, we expect
	x `le` x
to be a law.  But in IEEE arithmetic, if x is a NaN, x `le` x is
false.  I don't see how to reconcile these.

I agree that a standard partial order class would be nice.