Class LiftA6<A,​B,​C,​D,​E,​F,​G,​App extends Applicative<?,​App>,​AppG extends Applicative<G,​App>>