The State monad deserves a page in its own right; but for now see Three Basic Monads for an intro, and Parser Monad, which is similar.