What about MonadComprehensions, by the way? The way I see it, it's an even better fit for Applicative because the return is implicit.
On Tue, Oct 1, 2013 at 2:39 PM, Simon Marlow <marlo...@gmail.com> wrote: > Following a couple of discussions at ICFP I've put together a proposal for > desugaring do-notation to Applicative: > > > http://ghc.haskell.org/trac/**ghc/wiki/ApplicativeDo<http://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo> > > I plan to implement this following the addition of Applicative as a > superclass of Monad, which is due to take place shortly after the 7.8 > branch is cut. > > Please discuss here, and I'll update the wiki page as necessary. > > Cheers, > Simon > ______________________________**_________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.**org <Glasgow-haskell-users@haskell.org> > http://www.haskell.org/**mailman/listinfo/glasgow-**haskell-users<http://www.haskell.org/mailman/listinfo/glasgow-haskell-users> >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
