A Early History of Algebraic Data Types