Overlapping and incoherent and intentionally omitted instances

[Henning Thielemann]

Am 10.08.2014 um 22:12 schrieb Iavor Diatchki:
> Hello,
>
> Such a pragma sounds useful, and is very much like the "fails" instance
> from the "Instance chains" paper.  You may also be interested in ticket
> #9334 (https://ghc.haskell.org/trac/ghc/ticket/9334), which proposes an
> alternative to overlapping instances, and I just updated it to point to
> #7775.

It seems to be one more step in the direction of freely programmable 
instance selection, that I have speculated about in the past:

http://www.haskell.org/pipermail/libraries/2013-March/019533.html
http://www.haskell.org/pipermail/libraries/2012-November/018831.html