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

[Vladislav Zavialov (int-index)]

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 <simonpj at microsoft.com> wrote:
> 
> Thanks.   Which one? Or do you want both?
> 
> Simon