Add state monad example