Tree.depth and Tree.map