TypeScriptでは、条件付きタイプ（conditional types）を使用して決定（if-then-else式を想像してください）を下すことができます。これは、特にジェネリックタイプで非常に便利です。条件付きタイプは、ユニオンタイプ（union types）を操作するための重要なツールでもあります。なぜなら、それらがユニオンタイプを「ループ」処理することを可能にするからです。このしくみを知りたい場合は、以下を読んでください。