http://en.wikipedia.org/wiki/Algebraic_data_type
Algebraic data type is a kind of composite type, i.e. a type formed by combining other types. Two common classes of algebraic type are product types and sum types
http://en.wikipedia.org/wiki/Algebraic_data_type
Algebraic data type is a kind of composite type, i.e. a type formed by combining other types. Two common classes of algebraic type are product types and sum types