Control.Monad.Indexed.State
class
IxMonadState
m
imodify
igets
data
IxStateT
m i j a
data
IxState
i j a