CG関数と比較すると、CG(n)=n→(n) だよね。
a→（m，n）の一般的な定義はどうなるの？
というか、拡張チェーン表記の方がずっと爆発していると思う。