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

[Wolfgang Jeltsch]

Am Montag, 11. Februar 2008 16:35 schrieb Andrew Butterfield:
> This is precisely Jerzy's point - you can have many mathematical laws as
> you like but there is no guarantee that a programming languages
> implementation will satisfy them.

But people writing instances of type classes should take care of satisfying 
the laws since other libraries will most likely expect this.

Best wishes,
Wolfgang