Application Application Abstract Abstract Abstract Abstract Variable A

Application (
        Application (
            Abstract "a" (Abstract "b" (Abstract "t" (Abstract "f" (Variable "a"))))
        ) (
            Application (Application (Variable "b") (Variable "t")) (Variable "f")
        )
    ) (
        Variable "t"
    )