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

(\x. x) 7