letrec f == \x . x + e;
       e == 1
in f 7

