Add LiftA4 and LiftA5

Andrew Martin andrew.thaddeus at
Tue May 28 18:54:18 UTC 2019

I would like to see these added as well. I have found myself wanting them

On Mon, May 27, 2019 at 1:40 AM 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

-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list