[Haskell-cafe] A question about "monad laws"
g9ks157k at acme.softbase.org
Fri Mar 14 10:13:49 EDT 2008
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
More information about the Haskell-Cafe