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