[] ++ x = x
(h:t) ++ y = h : (t ++ y)