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

[Yitzchak Gale]

David Benbennick wrote:
>> 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.

Richard A. O'Keefe wrote:
> I'm not happy about that response...
> I am extremely grateful for this report, because now I know
> "NEVER USE Ratio Int, it's too broken".

Ian wrote, in the Trac ticket:
> Thanks for the patch, but I see a couple of problems:
> ...If you still think that this change should be made then
> I think that it should go through the library submissions process:
> http://www.haskell.org/haskellwiki/Library_submissions

The "wontfix" resolution does not mean that the patch
was rejected. It just means that there are reasons for
and against it, so GHC HQ is not unilaterally implementing
it without giving the community a chance to discuss the
issues. I think that is an admirable attitude.

If you feel that this issue is important, why not go
ahead and start the process to get it adopted?

Regards,
Yitz