[GHC] #4296: The dreaded SkolemOccurs problem

[GHC]

#4296: The dreaded SkolemOccurs problem
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:                                       
        Type:  bug               |       Status:  new                                  
    Priority:  normal            |    Milestone:                                       
   Component:  Compiler          |      Version:  6.12.3                               
    Keywords:                    |     Testcase:  indexed-types/should_compile/Simple20
   Blockedby:                    |   Difficulty:                                       
          Os:  Unknown/Multiple  |     Blocking:                                       
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown                         
---------------------------------+------------------------------------------

Comment(by simonpj):

 See also `indexed-types/should_compile/Simple13`, which compiles ok.

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