The type produced by discriminatedUnion: one member per variant, each carrying its own discriminant as a literal.
discriminatedUnion
The discriminant key
The variants, keyed by discriminant value
Custom aliases registered on the instance, if any
The type produced by
discriminatedUnion: one member per variant, each carrying its own discriminant as a literal.