[Haskell-cafe] Any precedent or plan for guaranteed-safe Eq and Ord instances?

[Tom Ellis]

On Wed, Oct 02, 2013 at 03:46:42PM +0200, Stijn van Drongelen wrote:
> * Operators in Eq and Ord diverge iff any of their parameters are bottom.

What's the benefit of this requirement, as opposed to, for example

   False <= _ = True
   ...

Tom