does anyone have a shorter name for a "algebraic data type" --the thing that is created by the declaration beginning with the keyword "data"? "ADT" is already in use, meaning "abstract data type", in many textbooks like Essentials of Programming Languages. the best I could come up with is "SPT", short for "sum-of-products" type.