Wrong type in ocaml