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

[| 3 + 2 |]