Haskell compiler front-end

How can I create a tree that I can traverse to a node's parent as well as children? Do I really want to? Can I create a symbol table that points back into the parse tree to where the symbol is defined, at the same time have the parse tree point into the symbol table on each symbol's use? Is that the right way?