Re: [ghc-steering-committee] #511 Deep Subsumption, recommendation: accept