A early history of algebraic data types