[tree_of_item]

It's not the same semantics at all. Using the top type is not even close to using a type parameter.