Added State monad.