Leaky grid of types: Understanding TypeScript's subtyping relation

The TypeScript's type system is powerful, flexible, and useful in its own way, despite being unsound. But there are some typical security violations that are not caught by the simple rules of the linter, so they require increased attention.