[GHC] #9707: (Try to) restructure `base` to allow more use of `AutoDeriveTypeable`

[GHC]

#9707: (Try to) restructure `base` to allow more use of `AutoDeriveTypeable`
-------------------------------------+-------------------------------------
       Reporter:  hvr                |                   Owner:
           Type:  task               |                  Status:  new
       Priority:  normal             |               Milestone:
      Component:  Compiler           |                 Version:  7.8.3
       Keywords:                     |        Operating System:
   Architecture:  Unknown/Multiple   |  Unknown/Multiple
     Difficulty:  Unknown            |         Type of failure:
     Blocked By:                     |  None/Unknown
Related Tickets:                     |               Test Case:
                                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 comment:ticket:9111:16 explains that import-cycles containing
 `Data.Typeable.Internal` (which provides the `Typeable` class
 `AutoDeriveTypeable` needs to be loaded for being able to operate) inside
 `base` make it difficult  to use `AutoDeriveTypeable`, as well as making
 it more difficult to de-cycle the `base` import-dependency graph (see also
 attachment:typeable_deps.pngtypeable_deps.png)

 This ticket is about trying to find a way to restructure `base` in order
 to allow to define the `Typeable` instances directly at the type's
 defining site (and thus allow the use of `AutoDeriveTypeable`)

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9707>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler