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

[Dan Burton]

What about the derived functions in Control.Monad, such as liftM? Shall we
similarly relax their constraints to Applicative and consider them
"legacy"? (Did this already happen when I wasn't looking?)

On Thursday, September 24, 2015, John Wiegley <johnw at newartisans.com> wrote:

> >>>>> Herbert Valerio Riedel <hvr at gnu.org <javascript:;>> writes:
>
> > TLDR: To complete the AMP, turn `Monad(return)` method into a
> >       top-level binding aliasing `Applicative(pure)`.
>
> Very much +1.
>
> John
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org <javascript:;>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>


-- 
-- Dan Burton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150924/736c2d0d/attachment.html>