RE: {-# rules

[Simon Marlow]

Carsten Schultz said:

> Ther same applies to our beloved monads.  The compiler could 
> be told about the monad laws.

You probably *don't* want to do that in general:  there's nothing preventing
the programmer from defining instances of Monad that don't satisfy the laws,
so we could break programs if the monad laws are treated as transformation
rules.  Of course, there's nothing stopping you defining these rules in your
own program.

Cheers,
        Simon