letrec f == \ x y . x + y
in f 7 1

