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

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