I think the type system was easier to express in OCaml as you get some stuff for free.

I don’t know. I tried to understand the OCaml code and contribute to Flow, and in the end I nope-d my way out of there.