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

David Benbennick dbenbenn at gmail.com
Mon Feb 11 16:35:34 EST 2008

On Feb 11, 2008 11:24 AM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org> 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:

I'm doing Science and I'm still alive.

More information about the Haskell-Cafe mailing list