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!
More information on the state-related types can be found in the elsewhere, Section See section The GHC prelude and libraries.