Ocaml's typesystem is rich, but not as complex as TypeScripts. It seems TS just adds more obscure features every year for little benefit.

Yes! Completely forgot about OCaml because I only spent a couple of months with it