funcons-lambda-cbv-mp-0.1.0.2: programs/letdown-product-static.cbv

letdown gen = \n. if n <= 0 then [|0|] else [| x + $(this (n + -1)) |]
in letdown product = \n. [| \x. $( gen n ) |]
   in $( product 3 ) 8