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

25 Sep 2015


      ...
...
...
...
...
Herbert Valerio Riedel <hvr@gnu.org> writes:
...
TLDR: To complete the AMP, turn `Monad(return)` method into a
      top-level binding aliasing `Applicative(pure)`.
Very much +1.

John

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

John Wiegley