yes = \x y -> op y x where