docs: @Override
      public <I> Lazy<Choice8<A, B, C, D, E, F, G, I>> lazyZip(
              Lazy<? extends Applicative<Function<? super H, ? extends I>, Choice8<A, B, C, D, E, F, G, ?>>> lazyAppFn) {
          return match(a -> lazy(a(a)),
                       b -> lazy(b(b)),
                       c -> lazy(c(c)),
                       d -> lazy(d(d)),
                       e -> lazy(e(e)),
                       f -> lazy(f(f)),
                       g -> lazy(g(g)),
                       h -> lazyAppFn.fmap(choiceF -> choiceF.<I>fmap(f -> f.apply(h)).coerce()));
      }