Application Application Abstract Abstract Abstract Abstract Variable A

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"
)