Add LiftA4 and LiftA5

[Liang-Ting Chen]

I think it is more reasonable to adopt idiom brackets proposed in (McBride
& Paterson, 2007). For example, you can write

([ Just True || Just False ])

for

liftA2 (||) (Just True) (Just False). Oleg has written a blog post on how
to use GHC 8.6's Source Plugins to achieve idiom brackets in

http://oleg.fi/gists/posts/2018-07-06-idiom-brackets-via-source-pluging.html

Cheers,
L-T

On Mon, 27 May 2019 at 06:40, Dannyu NDos <ndospark320 at gmail.com> wrote:

> It just feels so uncomforable that we have LiftM4 and LiftM5, but not
> Applicative versions of them.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190528/1f5f0099/attachment.html>