let gen = \y. \x. if x <= 0 then 0
                            else y + this (output (x + -1))
in let double = gen 2
   in double 3 + double 4 // prints 2, 1, 0, 3, 2, 1, 0