Are finite sequences of components of possibly different types.
The components are enclosed in round parenthesis and separated by commas.
The number of components in a tuple is called its arity. Tuples of arity two are called pairs and tuples of arity three are called triples.
The type of a tuple is denoted (T1, T2, ..., Tn) when the ith component have type Ti for any i from 1 to n.
Examples
(False, True) :: (Bool, Bool)
("Yes", True, 'y') :: (String, Bool, Char)