Add State monad example