class MonadState s m

gets

modify

modify'