[GHC] #4281: Make impredicativity work properly

[GHC]

#4281: Make impredicativity work properly
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj     
        Type:  task              |       Status:  new         
    Priority:  normal            |    Milestone:              
   Component:  Compiler          |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------
 This ticket is a placeholder for work on impredicativity. In fact, with
 the new typechecker we have most of the story for impredicativity in
 place, in the style of QML.  Still missing are:
  * Rigid type signatures
  * Notation for type application

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