let (x, y) = divMod a b in f (g . h $ x) (h y)uncurry (\x y -> f (g . h $ x) (h y)) $ divMod a buncurry f . (g . h *** h) $ divMod a buncurry f . ((***) =<< (g .) $ h) $ divMod a bliftA2 f (h . g . fst) (h . snd) $ divMod a buncurry ((. h) . f . g . h) $ divMod a b