I guess this can be a subclass of `Tree` again in the new scheme of things.