(P.S. this reply was intended to the general addition to the thread and not a specific reply to @avsm )
OCaml should concentrate on being the best backend platform it needs to be. After having explored this space, I personally see a lot of issues for a JSOO approach going forward. Its too heavyweight. I think something like Rescript (Bucklescript) is more likely to succeed. It would have been great to have a Rescript (Bucklescript) as a first class citizen in the OCaml tree. But that again gives rise to the huge engineering complexity that Kotlin has had to take on and this messy matrix of what works and what does not on the platform you want to emit for, separate standard libraries etc.