1 2 3 4 5 6 7 8 9
Application ( Application ( Abstract "a" (Abstract "b" (Abstract "t" (Abstract "f" (Variable "a")))) ) ( Application (Application (Variable "b") (Variable "t")) (Variable "f") ) ) ( Variable "t" )