Control.Monad.Indexed.State

class IxMonadState m

imodify

igets

data IxStateT m i j a

data IxState i j a