OCaml is tricky