Lambda calculus consists pretty much just of function compositions, which in principle have a tree structure. Is this just lambda calculus in a dress?