x = \y -> y (1 ,2) f x = 3 f x = 3 f x | x == y = 3 | x == y = 3