Tree-Dichotomy for Recursion
lWe often want a different dichotomy than for lists:
lThe tree has a single node (and is thus a leaf).
lThe tree is a node with offspring (and is thus not a leaf).