ユニオン型・インターセクション型・Type Guard（typeof/in/instanceof/カスタム）・ディスクリミネイテッドユニオン・関数オーバーロードを、使い所・使うべきでないケース・落とし穴まで踏み込んで整理しています。