Guarded Impredicativity implementation

[Artem Pelenitsyn]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180226/bddf79da/attachment.html>