Data/Typeable/Uniplate instances for GHC types

[Max Bolingbroke]

> How did you define the Data instances for the abstract types
> (break the abstraction or define the instances abstractly), and how do your
> instances compare to the ones at
> http://hackage.haskell.org/trac/ghc/wiki/GhcApiAstTraversals ?

The instances do not attempt to traverse the abstract data types. They
are strictly concerned with traversing CoreSyn. I've posted the
(slightly eccentric) code at
http://hackage.haskell.org/trac/ghc/attachment/wiki/GhcApiAstTraversals/CoreSynTraverse.hs

Cheers,
Max