[ghc-steering-committee] Quick look impredicativity (#274) — recommendation: accept

[Eric Seidel]

On Thu, Oct 17, 2019, at 09:09, Simon Peyton Jones wrote:
> |  We can't remove the discussion entirely, right? Removing contravariance is
> |  necessary for QuickLook to work for the most common case of impredicative
> |  instantiation.
> 
> I don't think so -- it just weakens it so that it works in fewer cases.

True, I was thinking primarily of ($), which will retain its special rule in the type-checker (for now) regardless.