that's great news! Thanks to all your answers :)
Hope the "no return" proposal gets accepted and incorporated!

Le dimanche 15 mai 2016, Marcin Mrotek <marcin.jan.mrotek@gmail.com> a écrit :
> Hello,
>
>> If/when Applicative Do drops, would using 'return' force monad semantics on a do-block that could otherwise be
>> applicative? That's the only thing that comes to mind. Otherwise yeah, I've been using 'pure' exclusively for a while.
>
>  I think so, at least until the "Monad of no return" proposal
> (https://ghc.haskell.org/trac/ghc/wiki/Proposal/MonadOfNoReturn)
> lands.
>
> Best regards,
> Marcin Mrotek
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>