[GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets

[GHC]

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
----------------------------------------+-----------------------------------
    Reporter:  sorear                   |        Owner:  simonpj     
        Type:  bug                      |       Status:  new         
    Priority:  low                      |    Milestone:  7.0.1       
   Component:  Compiler (Type checker)  |      Version:  6.7         
    Keywords:                           |     Testcase:              
   Blockedby:                           |   Difficulty:  Unknown     
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------

Comment(by simonpj):

 See also #4846

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