I (think I ) know the difference on the aspect of stacks between deep and shallow but in this specific question -
(define a (lambda (f) (null? (f f)))) (a a)