Wyjaśnij discriminated unions w TypeScript.

Discriminated union to union type z wspólnym polem literałowym (discriminant). TypeScript zawęża typ na podstawie tego pola w if/switch. Wzorzec: type Shape = Circle | Square, każdy z polem kind. Bezpieczne, wyczerpujące pattern matching.