letdown f = \x.lift x
in $(f (f (f 2)))