More Examples of Natural Transformations
For each A in Set there is a natural transformation 1 → PA. Take any X in Set; we need a function from X to XA. The natural choice would be the one that maps each element x of X to a constant function from A to X that returns x.

Again, I feel a temptation to write the definition like this:

(define (return x) (lambda (a) (x))