<div dir="ltr"><div><div><div><div>Dear ghc-devs,<br><br></div>Is there any work has been done on the latest (ttbomk) proposal for impredicative types in Haskell:<br><br>> Guarded impredicative polymorphism by Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones<br><a href="https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredicative-Jul17.pdf">https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredicative-Jul17.pdf</a><br><br></div>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).<br><br>--<br></div>Best wishes,<br></div>Artem Pelenitsyn<br></div>