I'm still struggling with this. Apart from the fact one piece of code
is reversing the order of indices compared to another and I can't
decide which is the right order, there's another internal issue in
the compiler. I want to explain this (mainly so I can understand it
myself :)
Felix has two tup
I'm still stuck on the order of indices :)
Given an array of arrays:
T ^ I ^ J
the indexing order is fixed by the data structure:
a . j . i
Note this is the reverse of the index order in the type. This is not arbitrary:
you have to select the subarray of the top level array fir
