Re: [Haskell-cafe] STM in .NET

(I notice that it relies on the user manually annotating anything that isn't safe to revert... This makes me nervous.)

So due to impurity everything that isn't explicitly annotated is implicitly 'unsafeIOToSTM'?