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