Original: Type theory In type theory, commonly used in programming languages, a tuple has a product type; this fixes not only the length, but also the underlying types of each component.
Simplified: Each of the objects in the list has a certain type.