LAST CALL to comment on the Appicative/Monad Proposal

[Philippa Cowderoy]

On 18/12/2018 18:02, Henrik Nilsson wrote:
> Moreover, while there is little risk of confusion when arrow
> syntax is used, looking just at names, the fact is that the use of the
> distinct "returnA" also sends a similar signal to the reader, and
> consequently there is a certain consistency in distinct names being
> used for the three different computational notions for which 
> (variations of) do-notation is provided.
>
I'm reminded that once upon a time I suggested what we now call 
ApplicativeDo start off with its own keyword for specifically 
Applicative code and that what it now tries to do might be possible! The 
lexical bikeshedding doesn't strike me as fun though.