Weaken some constraints with ocamlnet