Leaf represents a tree node with no children.
You can use Leaf for tree construction or pattern matching.