Class LiftA3<A,​B,​C,​D,​App extends Applicative<?,​App>,​AppD extends Applicative<D,​App>>