:: (c -> d) -> (a -> b -> c) -> a -> b -> d is:exact -package:wrap -package:opaleye -package:composition -package:pointless-fun

Compose composed with compose operator.
(f ... g) x y === f (g x y)
Multivariable composition.
f .: g ≡ (f .) . g ≡ \c d -> f (g c d)