TypeScript의 판별된 유니온(discriminated unions)으로 불리언 플래그와 선택적 필드를 대체합니다. 타입 좁히기, never를 사용한 완전성 검사, 그리고 타입화된 폼 상태 머신을 다룹니다.