>>121
計算例の前に定義がほしいんだけど、
a→(m,n)= a→( (a→(m)) → (n) )
でオッケー?