Getting rid of -XImpredicativeTypes

Richard Eisenberg rae at
Sun Oct 2 01:58:02 UTC 2016

> On Sep 30, 2016, at 6:36 PM, Baldur Blöndal <baldurpet at> 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.


More information about the ghc-devs mailing list