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

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/... 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