fun fix f x = f (fix f) x