1. discriminated unionによるクラス型チェック
   型チェックは、変数やプロパティが期待される型と一致しているかどうかを確認する処理です。TypeScript では、コンパイル時に型チェックが行われます。型チェックによって、以下の問題を検出することができます。型の間違い存在しないプロパティへのアクセス