Type inference test

Trying to understand why some type inference used to work in OCaml and not anymore in F#