Control.Monad.State.Class
class
MonadState
s m
modify
gets