(((list 3) (lambda (y) (((list 3) y) 4))) 4)