[GHC] #13524: GHC does not preserve order of forall'd vars with TypeApplications

[GHC]

#13524: GHC does not preserve order of forall'd vars with TypeApplications
-------------------------------------+-------------------------------------
        Reporter:  crockeea          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.2
      Resolution:                    |             Keywords:
                                     |  TypeApplications
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC rejects       |  Unknown/Multiple
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 My comment:4 says:

 > Perhaps even better, we could label variables in partial type signatures
 as "inferred", meaning that GHC will prevent them from being available for
 type application.

 This was always meant to be a stopgap solution, in case the status quo is
 unacceptable for 8.2. I've already put this bug in my queue for my summer
 bug roundup. But I simply can't get to it in the next month. "Even better"
 is suggesting that reliable, explainable behavior is better than
 capricious behavior, but @crockeea's comment:6 disagrees with this
 suggestion. I certainly don't feel strongly.

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