Still, according to OCaml maintainers, "some work remains to offer long-term, user-facing concurrent and parallel programming abstractions", so those abstractions will not make it into OCaml 5.