TeX source:

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