TeX source:

(A\to (B\to A))\to (A\to A)