Control.Monad.Constrained.State

class MonadState s m

data StateT s m a

gets

modify

modify'