<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">I think it is more reasonable to adopt idiom brackets proposed in (McBride & Paterson, 2007). For example, you can write</div><div dir="ltr"><br></div><div dir="ltr">([ Just True || Just False ]) <br><div><br></div><div>for</div><div><br></div><div>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 </div><div> </div><div><a href="http://oleg.fi/gists/posts/2018-07-06-idiom-brackets-via-source-pluging.html">http://oleg.fi/gists/posts/2018-07-06-idiom-brackets-via-source-pluging.html</a></div><div><br></div><div>Cheers,</div><div>L-T</div></div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 27 May 2019 at 06:40, Dannyu NDos <<a href="mailto:ndospark320@gmail.com">ndospark320@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr">It just feels so uncomforable that we have LiftM4 and LiftM5, but not Applicative versions of them.</div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>