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