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

[GHC]

#9858: Typeable instances should be kind-aware
-------------------------------------+-------------------------------------
        Reporter:  dreixel           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.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:  Phab:D652
-------------------------------------+-------------------------------------
Changes (by thoughtpolice):

 * priority:  highest => normal
 * differential:   => Phab:D652
 * milestone:  7.10.1 => 7.12.1


Comment:

 (In light of the merge for the immediate fixes, I'm demoting this bug and
 pushing it to 7.12.1, in case the discussion wants to continue. Simon has
 also indicated he wants to continue working on this area and redo some
 things, so we can leave this ticket open for that.)

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