Breadth-first numbering is trivial in mutable trees, but tricky for immutable trees. This article explains why it’s tricky, and shows two eagerly evaluated functional solutions (it’s much simpler lazily). Hat tip to @brandonbloom’s talk on Dendrology, which references this article.