[GHC] #5600: Instantiation of a rank 2 type fails for type synonyms

[GHC]

#5600: Instantiation of a rank 2 type fails for type synonyms
---------------------------------+------------------------------------------
    Reporter:  paba              |       Owner:                         
        Type:  bug               |      Status:  new                    
    Priority:  normal            |   Component:  Compiler (Type checker)
     Version:  7.2.1             |    Keywords:                         
    Testcase:                    |   Blockedby:                         
          Os:  Unknown/Multiple  |    Blocking:                         
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown           
---------------------------------+------------------------------------------
Changes (by paba):

 * cc: paba@… (added)


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