Algebraic data type

A composite type formed by combining Sum types (variants/tagged unions) and product types (tuples/records), enabling precise modeling of data structures like Option, Result, or tree nodes. Synonymous with Sum of products (SoP).