f g x y = (g (if x then x else y), g "abc")