My Thoughts on OCaml vs Haskell/Rust in 2023

I don’t think there are negatives, the problem is rather to design a good and forward looking one.

Here are a few others ones than the one you mentioned [1812.11665v1] Generic Programming in OCaml, LexiFi’s runtime types, GitHub - pqwy/tpf: Trivial/Tagless Polytypic Functions.