[GHC] #3383: Confluent type family instances confuse the solver

[GHC]

#3383: Confluent type family instances confuse the solver
-----------------------------------------------------+----------------------
 Reporter:  desp                                     |          Owner:                  
     Type:  bug                                      |         Status:  new             
 Priority:  normal                                   |      Milestone:                  
Component:  Compiler (Type checker)                  |        Version:  6.10.3          
 Severity:  normal                                   |     Resolution:                  
 Keywords:  type family families instance instances  |       Testcase:                  
       Os:  Unknown/Multiple                         |   Architecture:  Unknown/Multiple
-----------------------------------------------------+----------------------
Changes (by desp):

  * summary:  Confluent type instances confuse the solver => Confluent type
              family instances confuse the solver

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