TypeScriptの進化の道のりとバージョン2.0の新機能（型システム編）

x.kindが"cat"の場合、xはCat型