[weatherlight]

Gleam's type system is just a Hindley-Milner type system. Which is tried, true and simpler, and extensively battle tested.

Typescript's type system isn't sound. Gleam's is.