[GHC] #9858: Typeable instances should be kind-aware

[GHC]

#9858: Typeable instances should be kind-aware
-------------------------------------+-------------------------------------
        Reporter:  dreixel           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  highest           |               Milestone:  7.10.1
       Component:  Compiler          |                 Version:  7.9
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by rwbarton):

 I'm not particularly concerned about the possibility of this change
 breaking any existing program; that seems rather unlikely. What I am
 concerned about is the possibility of another bug like #10000 being
 discovered that forces us to abandon this "all types are Typeable"
 approach.

 It just seems like common sense to me to make large language changes like
 this at the start of a version's development, not one week before the last
 release candidate. (And I say large because there are probably tens of
 thousands of "deriving Typeable" out there. Yes I'd like to get rid of
 them too, but only if I could be reasonably sure that they won't have to
 be added back in for 7.10.2!)

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