:: (c -> d) -> (a -> b -> c) -> a -> b -> d package:xmonad-contrib is:exact

Multivariable composition.
f .: g ≡ (f .) . g ≡ \c d -> f (g c d)