-<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.