no = \x -> f x (g x)