[Haskell-cafe] A curios monad

[Andrew Coppin]

Tillmann Rendel wrote:
> Andrew Coppin wrote:
>> Except that, AFAIK, ST doesn't provide the "hey you can store 
>> anything and retrieve it later" trick. ;-)
>
> I would say that Data.STRef does exactly that.

That's true - but you can't transport those from place to play. (By design.)

The reason I went to all the bother of implementing this strange monad 
is that I actually want several different monads that I can secretly 
transport keys between...and I couldn't figure out how to make STRef do 
that.