let gen = \n. if n <= 0 then lift 0 
                        else Plus (Bound "x") (this (n + -1))
in let product = \n. Lam (Bind "x") (gen n )
   in let triple = eval( product 3 )
      in triple 5