letrec a == 1;
       f == \x y . if x = 0 then y else f (x-1) y
in f 3 a
