This monad underlies our implementation of arrays, mutable and immutable, and our implementation of I/O, including "C calls".
You probably won't use the monad directly, but you might use all those other things!
The "state interface document" defines the state-related types in sections 1.4 and 1.5, and the monad itself in section 2.1.