Re: Proposal: improve the Data.Tree API

hi,

But to be honest, I don't have strong feelings about this, I'm willing to drop this particular function (length) from the proposal, if there is no consensus.

then what about the arguably better name `size`? cheers, tobias florek