Unions

• sum types
• regular unions
• nominal and structural discriminated unions
• discriminated tags lower as simple types

1type Event =2    | { kind: "ready"; port: uint16 }3    | { kind: "closed"; reason: string };

• union member dispatch resolves every variant
• one common implementation stays static
• otherwise the compiler emits a runtime case dispatch and unions the result types