[GHC] #2456: For higher kinds, instance declarations need quantification in the context

[GHC]

#2456: For higher kinds, instance declarations need quantification in the context
-------------------------------------------+---------------------------
              Reporter:  ronwalf           |            Owner:
                  Type:  feature request   |           Status:  closed
              Priority:  normal            |        Milestone:  ⊥
             Component:  Compiler          |          Version:  6.9
            Resolution:  duplicate         |         Keywords:
      Operating System:  Unknown/Multiple  |     Architecture:  x86
       Type of failure:  None/Unknown      |       Difficulty:  Unknown
             Test Case:                    |       Blocked By:
              Blocking:                    |  Related Tickets:  #2893
Differential Revisions:                    |
-------------------------------------------+---------------------------
Changes (by thomie):

 * status:  new => closed
 * resolution:   => duplicate
 * related:   => #2893


Comment:

 Replying to [comment:7 simonpj]:
 > So I'll retitle this ticket as a feature request for such a feature.

 Note: doing this makes it more difficult to test whether a ticket can be
 closed or not, because the description, attached testcases and part of the
 discussion are still for the original bug.

 Nevertheless, this feature request is covered by #2893 (Implement
 "Quantified contexts" proposal). Also some discussion in #5927 and #7019.

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