Class LiftA5<A,​B,​C,​D,​E,​F,​App extends Applicative<?,​App>,​AppF extends Applicative<F,​App>>