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

lift(output 2 + 5)