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 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.