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