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

let f = \x. \y. x + y
 in f 2 3