Practically speaking, OCaml is not exactly just a drop-in replacement for Haskell. For instance, Haskell has world-class support for STM which makes it arguably one of the best languages out there for single-machine multicore concurrency.

Also, OCaml is still two decades old. I find it very bizarre that you attempted to group it in with Rust as a "new" language.