(define incr-list-k
   (lambda (k x)
      (k (lambda (y) (+ x y)))))