[GHC] #4347: Asymmetry of (impredicative) instantiation/higher rank types

[GHC]

#4347: Asymmetry of (impredicative) instantiation/higher rank types
-------------------------------+--------------------------------------------
    Reporter:  dolio           |       Owner:                           
        Type:  bug             |      Status:  new                      
    Priority:  normal          |   Component:  Compiler (Type checker)  
     Version:  7.1             |    Keywords:                           
    Testcase:                  |   Blockedby:                           
          Os:  Linux           |    Blocking:                           
Architecture:  x86_64 (amd64)  |     Failure:  GHC rejects valid program
-------------------------------+--------------------------------------------
Changes (by ganesh):

 * cc: ganesh (added)


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