Algebraic Data Types

Kind of composite type, i.e., a type formed by combining other types.