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