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