Merge FlexibleContexts with FlexibleInstances?

David Feuer david.feuer at
Fri Feb 6 06:05:35 UTC 2015

In my limited experience thus far, it seems to me that a substantial
majority of modules that start out needing one of these end up needing the
other one too. They appear to be two sides of the same coin, each allowing
for (slightly) more powerful termination checking. Should the two just be
made synonyms, to cut down a tiny bit on the boilerplate LANGUAGE pragmas?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list