[ghc-steering-committee] Please review: #511 Deep Subsumption, Shepherd: Arnaud

[Joachim Breitner]

Dear Committee,

Deep Subsumption
has been submitted by Matthew Pickering, Simon Peyton Jones and Jaro
Reinders

https://github.com/ghc-proposals/ghc-proposals/pull/511

https://github.com/mpickering/ghc-proposals/blob/deep-subsumption/proposals/0000-deep-subsumption.rst

Given that this refines #281, shepherded by Arnaud, I suggest that he
shepherds this one too.

Please guide us to a conclusion as outlined in 
https://github.com/ghc-proposals/ghc-proposals#committee-process

Thanks,
Joachim