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