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

Am Donnerstag, 13. März 2008 21:10 schrieben Sie:

Not to be picky, but where did you hear that (==) established an equivalence relation?

I think that’s the way it should be according to most Haskeller’s opinion. It might be true that the Haskell 98 report doesn’t say so but I think that many library types and functions (Data.Set stuff, for example) rely on this. A future standard should state laws an instance has to obey for every class it introduces.

[…]

Best wishes, Wolfgang