Re: [Haskell-cafe] A question about "monad laws"

On Feb 11, 2008 11:24 AM, Wolfgang Jeltsch wrote:

a < b && b < c => a < c

If an Ord instances doesn't obey these laws than it's likely to make Set and Map behave strangely.

Some months ago I pointed out that Ratio Int (which is an Ord instance) doesn't satisfy this property. I provided a patch to fix the problem, but my bug report was closed as wontfix: http://hackage.haskell.org/trac/ghc/ticket/1517. -- I'm doing Science and I'm still alive.