TypeScript might be fine, if it didn’t typically rely on a JavaScript stack that can and will ignore the nominal types.

TBF you probably don’t have to use any native JS libraries, so it’s kind of user error.