(letrec ((f (fun (g) (g)))) f)