let fix f = f (fix f) in fix