具有二元函式的組合

常規構圖適用於一元函式。在二進位制的情況下,我們可以定義

(f .: g) x y = f (g x y)          -- which is also
             = f ((g x) y)
             = (f . g x) y        -- by definition of (.)
             = (f .) (g x) y
             = ((f .) . g) x y   

因此,通過 eta 收縮來實現,此外,

(.:) f g    = ((f .) . g)
            = (.) (f .) g
            = (.) ((.) f) g
            = ((.) . (.)) f g

所以 (.:) = ((.) . (.)),一個半著名的定義。

例子:

(map (+1) .: filter) even [1..5]      --  [3,5]
(length   .: filter) even [1..5]      --  2