Re: Proposal: add liftA4 and liftA5 to match liftM4 and liftM5

Strongly +1. liftAn are partial-application-friendly. They're also very handy to compose with *no arguments* in the style of semantic editor combinators. For instance, `(liftA2.liftA2.liftA2)` lifts a binary function to a binary function that targets three levels deep in applicative functor nesting. -- Conal On Fri, Nov 7, 2014 at 10:00 AM, Edward Kmett wrote:

If you want to partially apply a lifted function the f <$> x <*>y <*> z approach doesn't work.

liftMn and liftAn still have a place.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries