[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:  normal                   |      Milestone:  6.10 branch     
Component:  Compiler (Type checker)  |        Version:  6.7             
 Severity:  critical                 |     Resolution:                  
 Keywords:                           |     Difficulty:  Unknown         
 Testcase:                           |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple         |  
-------------------------------------+--------------------------------------
Changes (by morrow):

 * cc: mjm2002 at gmail.com (added)

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