Exclude<T, U> / Extract<T, U>

Exclude<T, U> // T から U に代入可能な型を除外
Extract<T, U> // T から U に代入可能な型だけを抽出

type A = string | number | boolean;

// Exclude: boolean を除外
type WithoutBool = Exclude<A, boolean>;
// => string | number

// Extract: string だけ抽出
type OnlyString = Extract<A, string>;
// => string

// 複数の型を除外
type WithoutStrNum = Exclude<A, string | number>;
// => boolean

// 判別ユニオンへの応用
type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'square'; side: number }
  | { kind: 'triangle'; base: number };

type CircleOrSquare = Extract<Shape, { kind: 'circle' | 'square' }>;
// => { kind: 'circle'; radius: number } | { kind: 'square'; side: number }

type NotTriangle = Exclude<Shape, { kind: 'triangle' }>;
// => { kind: 'circle'; radius: number } | { kind: 'square'; side: number }

『Exclude<T, U>』と『Extract<T, U>』は、どちらも条件型（Conditional Types）を使って実装されています。内部実装は次のとおりです。

type Exclude<T, U> = T extends U ? never : T;
type Extract<T, U> = T extends U ? T : never;

ユニオン型に対してこれらを適用すると、TypeScript はユニオンの各メンバーに対して条件を評価し（分配的条件型）、結果をユニオンとして返します。特定のイベント名・ステータス文字列・判別ユニオンのタグを絞り込む場面でよく使われます。