Guarded Impredicativity implementation

Artem Pelenitsyn a.pelenitsyn at
Mon Feb 26 17:04:36 UTC 2018

Dear ghc-devs,

Is there any work has been done on the latest (ttbomk) proposal for
impredicative types in Haskell:

> Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage,
Dimitrios Vytiniotis, Simon Peyton Jones

Or are there any plans to do so? I wasn't able to spot any mentions of this
in either of GHC's forums (this list, Trac, wiki, ghc-proposals repo).

Best wishes,
Artem Pelenitsyn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list