Cコンビネータ
$ \lambda xyz.xzy
Haskellでは、flip関数
SKIで定義するなら
C = S (B B S) (K K)
(BコンビネータもSKIで定義できるが省略)