str-typed trees are not relevant anymore.