Control.Arrow.Transformer.Automaton
data
Automaton
a b c
runAutomaton