ST safety: nested computations

import Control.Monad.ST
import Data.STRef

f :: Int
f = runST $ do
  x <- newSTRef 1
  return $ runST $ do
    x' <- readSTRef x
    return x'

main = putStrLn "Hello World!"