[GHC] #9200: Milner-Mycroft failure at the kind level

[GHC]

#9200: Milner-Mycroft failure at the kind level
----------------------------------------------+----------------------------
        Reporter:  ekmett                     |            Owner:
            Type:  bug                        |           Status:  new
        Priority:  normal                     |        Milestone:
       Component:  Compiler (Type checker)    |          Version:  7.8.2
      Resolution:                             |         Keywords:
Operating System:  Unknown/Multiple           |     Architecture:
 Type of failure:  GHC rejects valid program  |  Unknown/Multiple
       Test Case:                             |       Difficulty:  Unknown
        Blocking:                             |       Blocked By:
                                              |  Related Tickets:
----------------------------------------------+----------------------------

Comment (by ekmett):

 Currently we'd reject  that, but if you can come up with a story that
 allows it I'd happily switch.

 We can (and do) use it for partial type signatures by combining it with
 HMF style "some" annotations, but since we disallow the partial types from
 referencing the quantified ones (since some can only occur in an Annot,
 outside of the type) it is perhaps less useful than a design that can do
 what you want could be.

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