Algebraic data types consist of product types (structs with multiple fields) and sum types (tagged unions representing choices between options).