Control.Arrow.State

data StateT s r a b