Class LiftA4<A,​B,​C,​D,​E,​App extends Applicative<?,​App>,​AppE extends Applicative<E,​App>>