let a = 1 :: (2 :: nil), b = 3 :: (4 :: nil) in let rec append = lambda a. lambda b. if null a then b else (hd a) :: (append (tl a) b) in append a b