Sequências de tamanho fixo de elementos de diferentes tipos :

O tipo dos tuplos de tamanho n, cujo 1º elemento é de tipo T1, o 2º elemento é de tipo T2, …, e na posição n tem um elemento de tipo Tn .

(‘C’, 2, ‘A’) :: (Char, Int, Char)
(True, 1, False, 0) :: (Bool, Int, Bool, Int)
(3.5, (‘a’,True), 20) :: (Float, (Char,Bool), Int)