docs: @Override
      public <G> Choice6<A, B, C, D, E, G> zip(
              Applicative<Function<? super F, ? extends G>, Choice6<A, B, C, D, E, ?>> appFn) {
          return Monad.super.zip(appFn).coerce();
      }