A type of data structure that comes from functional programming, combining multiple types into one.

"Algebraic data types in Haskell can represent complex data structures in a succinct and type-safe way."