Listen in Haskell

der eingebaute Listen-Typ ist strukturgleich zu dem hier besprochenen, wird aber so notiert:

List a    -->  [a]
Nil       -->  []
Cons x xs -->  x : xs

Funktionen zum Zugriff auf Konstruktor-Argumente:

head :: [a] -> a
head (x:xs) = x

tail :: [a] -> [a]
tail (x:xs) = xs

Vorsicht: das sind partielle Funktionen