Narrowing

[TS #5] 타입 가드와 Discriminated Union — 런타임 타입 안전 처리