Control.Monad.States

class MonadStates s m

modifyPoly

usePoly

overPoly