Las listas son "listas" de elementos de un mismo tipo cuyos elementos se pueden repetir.

[1, 2, 1]
[True, False, False, True]
[] -- Lista vacía

El tipo de una lista se escribe como [tipo]

[True, False, True] :: [Bool]
[10 `div` 2, 8 `div` 4, 30] :: [Int]
[[1], [2,3], [], [1,1000,2,0]] :: [[Int]]
[(1,2), (3,4), (5,2)] :: [(Int, Int)]

Funciones con listas

head :: [a] -> a
tail :: [a] -> [a]
(:) :: a -> [a] -> [a]

head :: [(Int, Int)] -> (Int, Int)
head [(1,2), (3,4), (5,2)]