[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
-------------------------------------+-------------------------------------

Comment (by oerjan):

 I also thought of that core thing but I doubt that's it... it seems to me
 that it's just two more entities that don't have different TypeCons, like
 in the original report of this ticket, and which don't get kind
 information added since they're both kind monomorphic.

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