fun x = f x x