Guarded Impredicativity implementation

Simon Peyton Jones simonpj at
Mon Feb 26 22:36:31 UTC 2018

Alejandro may want to comment…

From: ghc-devs [mailto:ghc-devs-bounces at] On Behalf Of Artem Pelenitsyn
Sent: 26 February 2018 17:05
To: ghc-devs at
Subject: Guarded Impredicativity implementation

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