An initial attempt to understand the state monad

Monads: state-m