> HTML's a tree. Function calls are a tree. They're similar in nature and they map cleanly to each other

Yes, this is a key point. Indeed, many other 'constructed artifacts' compose nicely as trees, and thus functional languages are a natural fit for defining them parametrically.