Documented IO <--> ST coercion operators
> return a
</verb></tscreen>
-
+<item>
+Operations for coercing an <tt/ST/ action into an <tt/IO/ one, and
+vice versa are also provided. Notice that coercing an <tt/IO action
+into an <tt/ST/ action is 'lossy', since any exception raised within the
+<tt/IO/ action will not be caught within the <tt/ST/ monad, as it
+doesn't support (monadic) exceptions.
</itemize>
<tscreen><verb>
performGC :: IO ()
trace :: String -> a -> a
unsafePtrEq :: a -> a -> Bool
+
+unsafeIOToST :: IO a -> ST s a
+stToIO :: ST s a -> IO a
</verb></tscreen>