Yeah, came here to say the same thing. OCaml is pretty great, and the addition of multicore and algebraic effects will make it even better.
It does have some unique ecosystem elements such as Coq, WhyML, Mirage, etc. But common components could be definitely improved.
