17 Oct
2019
17 Oct
'19
9:58 a.m.
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.