A type fORmed by applying some type constructOR function to one OR mORe other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1). (In LaTeX, the lifted type is written with a subscript perp). See also algebraic data type, primitive type. (1995-02-03)