Implement MonadState in the state monad