Sure it does - you execute code in the context of a monad. In the case of the State monad, your code executes in the context of a stateful environment.