> the result would be something like unsafePerformIO in current Haskell, where it's hard work to ensure that it's used correctly.

Not really, unsafePerformIO has its place - just its not in typical Haskell programs.