Proposal: improve the Data.Tree API