They absolutely are not orthogonal. They are closely related. In any case, Rust improves both.

> I doubt Rust gives any meaningful advantage there.

Advantage over what? Haskell & OCaml? Maybe not. C++ or Python? Absolutely. Its type system is far stronger than those, and its APIs are much better designed and harder to misuse.