Discriminated Union

Tag it to tell them apart. 🔍 Why it matters: Big teams use this so their code stays tidy and easy to fix.

type S = {k:'a';x:number} | {k:'b';y:string}