code: @Override
      public <B> Lazy<MaybeT<M, B>> lazyZip(
              Lazy<? extends Applicative<Function<? super A, ? extends B>, MonadT<M, Maybe<?>, ?>>> lazyAppFn) {
          return new Compose<>(mma)
                  .lazyZip(lazyAppFn.fmap(maybeT -> new Compose<>(
                          maybeT.<MaybeT<M, Function<? super A, ? extends B>>>coerce().<Maybe<Function<? super A, ? extends B>>, Monad<Maybe<Function<? super A, ? extends B>>, M>>run())))
                  .fmap(compose -> maybeT(compose.getCompose()));
      }
docs: {@inheritDoc}