Re: [ghc-steering-committee] Please review #378: Support ergonomic dependent types, Shepherd: Simon PJ

On Mar 9, 2021, at 4:32 AM, Simon Peyton Jones via ghc-steering-committee wrote:

OK. I expect to recommend acceptance, but I'm encouraging Richard to sharpen up the proposal a bit first.

Yes. Good suggestions on the thread. I've updated the proposal. Thanks, Richard