OCaml Advice