(lambda a (ylppa a (lambda (zer + *)
(lambda (p x) (let v ((p p)) (if (null? p) zer
   (+ (car p) (* x (v (cdr p))))))))))