generated at
Bコンビネータ
\lambda xyz.x(yz)

SKIで定義するなら
B = S (K S) K