Class LiftA7<A,​B,​C,​D,​E,​F,​G,​H,​App extends Applicative<?,​App>,​AppH extends Applicative<H,​App>>