start on "OCaml's Compare"