Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

[Evan Laforge]

On Fri, Oct 2, 2015 at 2:55 PM, Mario Blažević <mblazevic at stilo.com> wrote:
>> "Verbose" is the understatement of the year. There's a lot of code where
>> ApplicativeDo makes the difference between "readable" and "unreadable".
>> Like it or not, but programmers are used to *naming things* (even
>> locally) and using those local names to refer to things.
>
>         Naming of applicative sub-expressions is perfectly doable without
> reaching for any syntactic sugar. An applicative do like

Isn't the debate about 'return', not about ApplicativeDo?
ApplicativeDo is already in the next version, so I think it's been
decided.