В том, что все узлы имеют одну природу. А значит существуют операции применимые ко всему - копирование, удаление и т.д. Просто из коробки, не нужны преобразования типов для того чтобы выполнить такие операции.
Сборки мусора нет в обычном виде, так как при выходе из узла, все его дочерние узлы будут удалены автоматически. То есть она является частью модели работы с деревьями, а не чем-то особенным и крутым. Соответственно функция как параметр другой функции тоже работает из коробки, просто потому что такова модель системы,  а не потому что это модная фишка.