1 2 3 4 5
\begin{verbatim} -- list concatenation (right-associative) (++) :: [a] -> [a] -> [a] xs ++ ys = foldr (:) ys xs \end{verbatim}