Alejandro may want to comment…

From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Artem Pelenitsyn
Sent: 26 February 2018 17:05
To: ghc-devs@haskell.org
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
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredicative-Jul17.pdf

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