Unions & Narrowing

Before you start

A discriminated union replaces a bag of optional fields with a set of exact shapes. Instead of { loading?: boolean; data?: T; error?: E } — which permits loading *and* error at once — you enumerate the states that actually exist, and the compiler enforces you handled each.