Thu Sep 22 13:17:59 EDT 2011

Commutation with staging

One of the things that struck me in the Feldspar paper, is to define
"map" for array indexes.  Let's read that again and look at it in
terms of Functor and how it _commutes dereference and staging_.

This seems to be a basic problem: how do certain operations commute
with staging?

This is also something hinted at in Staapl.