Control.Arrow.Transformer.State

data StateArrow s a b c

runState

class ArrowAddState s a a'