[GHC] #14288: ScopedTypeVariables with nested foralls broken since 8.0.2

[GHC]

#14288: ScopedTypeVariables with nested foralls broken since 8.0.2
-------------------------------------+-------------------------------------
        Reporter:  MikolajKonarski   |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  GHC rejects       |  (amd64)
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 I don't see what is strange about this? It's no stranger than `f :: forall
 a b. a -> Int -> (a, b)` at least, which is accepted.

 Replying to [comment:8 goldfire]:
 > Note that the quantifier for `b` hasn't been encountered in the term
 definition, which takes only one argument.

 Yeah... and? I don't see what the term definition has to do with anything
 here.

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