`sym: Tree`?!