Sun Jul 26 23:13:43 EDT 2015


An important constraint is: should dimensions be fixed?
Essentially, this should be a type constraint.
Let's look at that first.

Two things need solving:
- Lifting to vector types
- Representing an interation over a Sys

EDIT: The typical case is an oscillator bank: state.

Start with a trivial example.

Using Sys won't work, since the output state is needed.  Keep only
last value?

The core idea is to lift.  What is being lifted?  A Sys is lifted over
an input array, and (for now) the outputs are summed.

Start with Data.hs