This monad underlies our implementation of arrays, mutable and immutable, and our implementation of I/O, including “C calls”.
The ST library, which provides access to the ST monad, is a GHC/Hugs extension library and is described in the separate GHC/Hugs Extension Libraries document.