list = [1, 2, 3] head :: [a] -> a head (x:_) = x head list -- 1
a = [1, 2, 3, 4] b = tail a -- b == [2, 3, 4]