stub "OCaml's Compare" post