Introduce Discriminated Union
Kind: technique
Layer: Contracts Core
Record: lexicon:introduce-discriminated-union
Canonical: Lexicon
A technique for modeling a value that takes one of several shapes as a union whose variants carry a tag the type checker reads.
Listed in Lexicon terms, after Read Performance and before Narrow Type.