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 
 

Cheers,
L-T

On Mon, 27 May 2019 at 06:40, Dannyu NDos <ndospark320@gmail.com> wrote:
It just feels so uncomforable that we have LiftM4 and LiftM5, but not Applicative versions of them.
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries