Class LiftA2<A,​B,​C,​App extends Applicative<?,​App>,​AppC extends Applicative<C,​App>>