-- returns the head of a list (only the first element)
car :: [a] -> a
car [a] = a
car [a,b] = a
car [a,b,c] = a
car [a,b,c,d] = a