>>2はｎ変数（n ≠ 3）の関手にも適用される。