let last_of_index i =
  match i with
    One n
  | Many (_,n) -> n