Guarded Impredicativity

[Ryan Scott]

Would this permit explicit impredicativity as described in [1]? Simon
mentions in [1] that explicit impredicativity is easier to implement than
guarded impredicativity, although it's not clear to me if the latter would
imply the former.

Ryan S.
-----
[1] https://gitlab.haskell.org/ghc/ghc/issues/14859
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190628/effb55f7/attachment.html>