Hi all, In this excerpt from the Automatonhttp://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-...page: runAutomaton :: (ArrowLoopChttp://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Ar...a, ArrowApplyhttp://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Ar...a) => Automatonhttp://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-...a (e, b) c -> a (e, Streamhttp://hackage.haskell.org/packages/archive/Stream/0.4.1/doc/html/Data-Strea...b) ( Streamhttp://hackage.haskell.org/packages/archive/Stream/0.4.1/doc/html/Data-Strea...c) Sourcehttp://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/src/Cont... Encapsulating an automaton by running it on a stream of inputs, obtaining a stream of outputs. Typical usage in arrow notation: proc p -> do ...* ys <- (|runAutomaton (\x -> ...)|) xs* Here xs refers to the input stream and x to individual elements of that stream. ys is bound to the output stream. Could someone replace the ellipses w/ an expression that would compile and make sense? (I'm really struggling, trying to understand this example.) Thanks! -db