(define append (lambda (a b) (if a (cons (car a) (append (cdr a) b)) b)))