In other words, in OCaml, you don’t have to write type annotations into the function parameter list. It will infer even those.

It’s useful for small ad-hoc functions, but personally, I’m glad that Rust is more explicit here.