[Haskell-cafe] Type system madness

[Andrew Coppin]

Bulat Ziganshin wrote:
> Hello Andrew,
>
>   
>> Hmm. Like the IO monad's RealWorld object, which isn't really there?
>>     
>
> ST and IO monads are the same beast. in ST, s is free to allow to
> create endless amount of independent threads while in IO it fixed to
> one type and describes evolution of one thread, synchronized with real
> world. look at http://haskell.org/haskellwiki/IO_inside for info about
> IO monad trickery
>   

OMG! stToIO exists...!