On Tue, Sep 16, 2014 at 2:13 PM, Brandon Allbery <allbery.b@gmail.com> wrote:
On Tue, Sep 16, 2014 at 1:26 PM, Andras Slemmer <0slemi0@gmail.com> wrote:
Safe but never to be used extensions(except if you know -exactly- what you're doing): OverlappingInstances, IncoherentInstances

Are we sure that different parts of a program inferring different instances can't create at least a limited form of unsafeCoerce?

...and I think the already mentioned ticket just confirmed that it's at least potentially possible via hs-boot files, although I was thinking of a slightly more "direct" mechanism.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net