Fri May 31 08:46:21 EDT 2019

traverse vs. construction?

It is really about the difference between these two:

traverse: (Index -> Size -> a -> M b) -> A a -> M (A b)

loop: (Index -> Size -> M b) -> M (A b)

The reason to go for the latter is that only construction is
element-wise.  Reference can be random access with some restrictions
for feedback configurations.

This is the MAIN IDEA.