Interface Tree<A>