But they get a simpler, sounder type system in OCaml as a result which should make maintenance easier for them. Given that they want this style of programming the ergonomics should be a lot easier than TypeScript as well.