Add LiftA4 and LiftA5

Liang-Ting Chen at
Tue May 28 19:35:50 UTC 2019

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

([ Just True || Just False ])


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


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

> It just feels so uncomforable that we have LiftM4 and LiftM5, but not
> Applicative versions of them.
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list