[GHC] #9432: IncoherentInstances are too restricted

[GHC]

#9432: IncoherentInstances are too restricted
-------------------------------------+-------------------------------------
        Reporter:  danilo2           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:
       Component:  Compiler (Type    |              Version:  7.8.2
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #8141             |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by diatchki):

 I am not sure I understand the issue here, could you provide an example
 using the new notation for incoherent and overlapping instances (i.e.,
 where each instance is annotated individually, rather than having the
 global flag).

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