> Note, I would leave the code as it was: Array2 really is the right way to > write the code. Still, it is nice to see it look better. Maybe I should switch the basis library implementation to use 'a array array instead of 'a array to implement Array2?