Type Alias Variant<Tag, Fields>

Variant: { tag: Tag } & Readonly<Fields>

One case of an ADT: a tagged record with the case's fields spread flat.

type Shape = Variant<'Circle', { radius: number }> | Variant<'Rect', { w: number; h: number }>;