Comment by yawaramin

Just as a point of reference, OCaml recently landed TRMC into the core compiler: https://github.com/ocaml/ocaml/pull/9760

It should ship in version 5.