some hints in comments

indexed traversals should be a specially defined version of a reference, with a -> (i,a)