Compiler uses reify; implementing tree to string ...