f : N -> N -> Bool
f 3 = \x.x > 2
f x y = true