[GHC] #2497: Weird scoping for tyvars in rules

[GHC]

#2497: Weird scoping for tyvars in rules
-------------------------+--------------------------------------------------
    Reporter:  rl        |        Owner:         
        Type:  bug       |       Status:  new    
    Priority:  normal    |    Milestone:         
   Component:  Compiler  |      Version:  6.8.3  
    Severity:  normal    |   Resolution:         
    Keywords:            |     Testcase:         
Architecture:  Unknown   |           Os:  Unknown
-------------------------+--------------------------------------------------
Comment (by rl):

 Forgot to mention: this is perhaps related to #2494.

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