Control.Monad.State.Class
class MonadState m