fun {Add X Y} X + Y end fun {SumTree Tree} {FoldTree Tree Add Add 0} end fun {MapTree Tree F} {FoldTree Tree fun {$ I Strs} node(item:{F I} subtrees:Strs) end fun {$ E Es} E|Es end nil} end