Indexed lists for OCaml