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

[Richard Eisenberg]

> On Mar 9, 2021, at 4:32 AM, Simon Peyton Jones via ghc-steering-committee <ghc-steering-committee at haskell.org> 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