leaves :: Tree -> Int
nodes :: Tree -> Int