Control.Arrow.Transformer.Automaton

data Automaton a b c

runAutomaton