hmm - I'm partial to the explicit empty leaf return, but I think Alex might be right.
I'd put a little note by `[k]` that says 'leaves = []' or similar