Mon Jul 20 00:48:44 EDT 2015

Only unit delay?

In RAI, the (s,i)->(s,o) type is explicit.  Maybe this is not good?
Maybe there should just be a delay operator defined on streams?

That would get rid of the need for state stuff.  The arrow feedback
operator can then be used in combination with the delay operator to do
essentially the same.

- Explicit state types are hard to represent.
- They might not be necessary
- Streams + z might be easier: texbook example Arrow
- Explcit z also allows for abstract z^n as extension?