> On Sep 30, 2016, at 6:36 PM, Baldur Blöndal <baldur...@gmail.com> wrote: > > Shot in the dark: Would extensions like QuantifiedConstraints or > ImplicationConstraints, if implemented, help with ImpredicativeTypes?
I don't think so. The challenge with ImpredicativeTypes is retaining predictability of type inference, and I don't see how implication constraints helps with this. Richard _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs