Fri Aug 26 13:34:18 CEST 2011

Streams with extra input.

Let's look at the stream with an extra input, as suggested by Oleg[1].

  Op i o = Op (i -> Op i o, o)

The trouble with this is that for my purpose they are not explicit
enough: I need an explicit description of state transformation process
between successive outputs to generate code.

[1] http://www.mail-archive.com/haskell-cafe@haskell.org/msg92746.html