The type of tuples. A tuple is a list containing any elements. A tuple is an element of a fixed cartesian product. The types of the elements of the factors of this product may be specified. Once a tuple is created, insertions are possible only if the type of the new element is the same as the type of the element that will be replaced.