2 ms·

I don't know what you mean here. I'd be curious to see an example.

• lmm 13y ago
  Isn't it proposing to eliminate existential types that can't be expressed as wildcard types? Or is this something different?