(f ... g) x y === f (g x y)
(f .: g) x y = f (g x y)
f .: g = curry (f . uncurry g)
f .: g ≡ (f .) . g ≡ \c d -> f (g c d)