funcons-lambda-cbv-mp-0.1.0.2: programs/letdown1.cbv

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