Typesafe MRef with a regular monad

[Simon Marlow]

Simon P.J. writes:

> ... So it's reasonable that there should be some language extension.=20
> I'm just looking for the minimal such extension.

unsafeCoerce# is quite a minimal extension :-)

Cheers,
	Simon