I am fully aware of it, I was just making the point that it wasn't invented by Rust as the title suggests, and first versions of Rust were written in OCaml, hence why I chose that ML flavour for the example.

If you want to go pedatic we can start discussing the type theory papers they appear on.