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