Control.Arrow.Transformer.State
data StateArrow s a b c
class ArrowAddState s a a'