Typesafe MRef with a regular monad

Lennart Augustsson lennart@augustsson.net
Mon, 09 Jun 2003 15:39:08 +0200


Simon Marlow wrote:

>Simon P.J. writes:
>
>  
>
>>... So it's reasonable that there should be some language extension. 
>>I'm just looking for the minimal such extension.
>>    
>>
>
>unsafeCoerce# is quite a minimal extension :-)
>
It's a minimal extension, but it's not an extension that provides any 
insight. :)

    -- Lennart