Thu May 30 16:31:11 EDT 2019

It's time to crack the nut. What is loop?

loop :: (Index -> M [Index -> t]) -> M [Index -> t]

t can be 

Index -> t'



If arrays are represented as function, then what is inside a loop
construct is also a function.

c <- op2 a b

I keep going back to these two views: the entire array vs. operations
on atomic values.