Sun Apr 21 08:42:09 EDT 2019

Abstract representations of vectors

Eventually, I want all loops to be implemented target-side, so there
will need to be some notion of fold and zip that are implicit enough
to push it through the representation monad.

This is the next tough problem.

It cannot be captured in Seq.  It is a different type class: Loop?

What about this: C and D are always inlined.  There doesn't seem to be
a good reason not to, but matrices and polynomials are implemented in
terms of abstract iteration and storage patterns.