Re: [ghc-steering-committee] Proposal #302: `\of` (New Shepherd: Simon PJ)

While (3) is my personal favorite, it has received some heavy pushback, and I don’t suppose it has any chance of getting accepted. Therefore, I guess I’m asking to add (2). - Vlad

On 28 Jun 2021, at 14:50, Simon Peyton Jones wrote:

Thanks. Which one? Or do you want both?

Simon