My implementation of Okasaki's Purely Functional Data Structures in OCaml