A type formed by applying some type constructor function toone or more other types. The usual constructions arefunctions: t1 -> t2, products: (t1, t2), sums: t1 + t2 andlifting: lift(t1).
(In LaTeX, the lifted type is written with a subscript\\perp).