Better yet, isn't that what the State Monad[1] is doing internally?

[1]: http://www.haskell.org/haskellwiki/State_Monad