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