Tuple

An algebraic product type whose first element is of type Head and whose remaining elements can be stored in Tail.