>>463
a→→a→→a→→aは
(a→→(a→→(a→→a)))の順で計算すると僕は思っています(つまり最後から)