DeepControl.Monad.Trans.State

Level-2

data StateT2 s m1 m2 a

evalStateT2

execStateT2

mapStateT2

withStateT2

Level-3

data StateT3 s m1 m2 m3 a

evalStateT3

execStateT3

mapStateT3

withStateT3