Control.Monad.ST.Safe
The
ST
Monad
data
ST
s a
runST
fixST
Converting
ST
to
IO
data
RealWorld
stToIO