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