funcons-lambda-cbv-mp-0.1.0.2: programs/ct-eval.cbv

letdown x = lift 0
in $(x)