[GHC] #5516: Universally quantified GADT context leads to overlapping instance

[GHC]

#5516: Universally quantified GADT context leads to overlapping instance
---------------------------------+------------------------------------------
    Reporter:  andersk           |        Owner:                           
        Type:  bug               |       Status:  new                      
    Priority:  normal            |    Milestone:                           
   Component:  Compiler          |      Version:  7.3                      
    Keywords:                    |     Testcase:                           
   Blockedby:                    |   Difficulty:                           
          Os:  Unknown/Multiple  |     Blocking:                           
Architecture:  Unknown/Multiple  |      Failure:  GHC rejects valid program
---------------------------------+------------------------------------------

Comment(by simonpj):

 I'm not sure what the issue is here. Is there a bug?  Can we just close
 this?

 Simon

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