Control.Monad.States
class
MonadStates
s m
modify
modify'
gets