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).