Re: Overlapping and incoherent and intentionally omitted instances

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