Richard's paper argues for lazy rather than eager instantiation.
It does not argue for deep rather than shallow subsumption and instantiation;
on the contrary, it argues for shallow. (That is, for "simple subsumption".)
And it is simple subsumption that is the focus of this conversation.
Sim
On 6/16/21 12:00 PM, Simon Peyton Jones via ghc-devs wrote:
I’m sorry to hear that Chris. It’s exactly backwards from what I would
expect – the typing rules with simple subsumption are, well, simpler
than those for complicated subsumption, and so one might hope that
your intuition had fewer co
