なぜ TypeScript の型システムが健全性を諦めているか - Qiita

```ts class Animal { kind: string } class Dog extends Animal { dog_type: string } function showDogType(dog: Dog) { c...