On the Compilers course, the whole lecture on operational semantics is a description of the State monad. #coursera