On 24 March 2011 01:22, Bas van Dijk <v.dijk.bas at gmail.com> wrote: > The given IO computation can then be something like: unsafeIOToSTM $ newTVar e. Oops I meant: unsafeSTMToIO $ newTVar e where unsafeSTMToIO :: STM a -> IO a unsafeSTMToIO (STM m) = IO m