Strictly speaking, TypeScript isn't a sound type system: https://www.typescriptlang.org/docs/handbook/type-compatibility.html https://www.typescriptlang.org/doc

Strictly speaking, TypeScript isn't a sound type system: https://www.typescriptlang.org/docs/handbook/type-compatibility.html https://www.typescriptlang.org/docs/handbook/type-compatibil...