Mon Aug 3 10:07:32 EDT 2015

Applicative: Conclusions & Questions

- It seems the applicative instances allows proper sequencing of the
  monadic operations to yield "pure" operations on signals.

  Still, there is the question of duplication.  It's too abstract for
  me to see this atm..

- Can the applicative approach be used with _just_ a couple of
  primitive signals?

To try this out, first use RSig wrapper.

Looks like the main question is: can an integrator be represented?

Basically, does this make sense as a system:

    r i -> Sig m r o

It doesn't.  But something like this does:

    Sig m r i -> Sig m r o

Can that represent an accumulator?