[Haskell-cafe] How to wrap a StateArrow in an Automaton?