ex. 3.29 - tree : fold (size and maximum via ~)
ex. 3.29 - tree : fold (map via ~)