| Just to clarify, do we still require identities (1) and (3) | below (pasted from the Library report and numbered)? That | is, is range obliged to yield its results in strict index | order? [This rules out Ix instances that do, e.g., blocked | iteration unless the array itself is also re-blocked. | Reblocking the array itself is arguably a good idea, but may | not be what we expect...] | | 1) range (l,u) !! index (l,u) i == i -- when i is in range | 2) inRange (l,u) i == i `elem` range (l,u) | 3) map index (range (l,u)) == [0..rangeSize (l,u)] I was not proposing to remove these identities. Should I? Simon