Esquema y encuadernación superficial

 (define make (lambda (x) (lambda (y) (cons x (list y)))))

 (let ((x 7)
       (p (make 4)))
   (cons x (p 0)))

Soy nuevo en Scheme y en el programa funcional, por lo que soy un poco torpe con los programas, pero entiendo que si utilizo el enlace profundo este programa volverá (7 4 0). Tiene sentido. ¿Qué haría este programa utilizando un enlace superficial? Entiendo que esto puede sonar tonto, pero ¿es la p en la línea con los contras una redefinición? Entonces, en ese caso, ¿volveríamos (7 0)?

Básicamente, entiendo el concepto de enlace profundo v. Superficial, pero siento que lo estoy mezclando cuando miro Scheme porque no estoy muy familiarizado con él.