Getting rid of -XImpredicativeTypes

Ben Gamari ben at
Sun Oct 2 15:38:33 UTC 2016

Carter Schonwald <carter.schonwald at> writes:

> On a more inane front,  does this give a path to either making $ less
> magical, or better user facing errors when folks use compose (.) style code
> instead and hit impredicativtity issues that $ magic would have handled ?
I don't believe this will have any effect on the behavior of ($). That
is, unless you don't mind giving up the ability to write runST $ do ...


- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list