> (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'?