Bコンビネータ
$ \lambda xyz.x(yz)
SKIで定義するなら
B = S (K S) K