[GHC] #9123: Need for higher kinded roles

[GHC]

#9123: Need for higher kinded roles
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |             Owner:  goldfire
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.8.2
            Resolution:              |          Keywords:
Differential Revisions:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |         Test Case:
            Difficulty:  Unknown     |          Blocking:
            Blocked By:              |
       Related Tickets:              |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * owner:   => goldfire


Comment:

 Our current solution seems workable, albeit not terribly principled.  Cost
 is low, but benefits seem tangible.

 Richard (who owns this ticket anyway) is willing to implement this before
 7.10.  Thanks.

 Simon

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