Last I looked, Ocaml's upcoming effect system is untyped, so doesn't really belong in the discussion.
[1]: https://www.janestreet.com/tech-talks/effective-programming/
Last I read, they really want to nail down the entire multi-threaded environment to the last detail first (which mostly means make sure no parallel bugs are introduced + single-threaded code won't become slower; both pretty huge goals).