Compilation error with type inference

Bug.java

import java.util.function.BiFunction;
import java.util.function.Function;

public interface Bug<T> {

  <R> Bug<R> map(Function<? super T, ? extends R> mapper);

  <R> Bug<R> ap(Bug<Function<? super T, ? extends R>> apply);

  static <A, B, C> Function<BiFunction<A, B, C>, Bug<C>> compile(Bug<? extends A> fa, Bug<? extends B> fb) {
    return apply -> fb.ap(fa.map(curried(apply)));
  }

  static <A, B, C> Function<BiFunction<A, B, C>, Bug<C>> doesNotCompile(Bug<? extends A> fa, Bug<? extends B> fb) {
    return apply -> {
      var map = fa.map(curried(apply));
      return fb.ap(map); // <-- compilation error
    };
  }

  static <A, B, C> Function<A, Function<B, C>> curried(BiFunction<? super A, ? super B, ? extends C> f) {
    return a -> b -> f.apply(a, b);
  }
}

also with java 17 EA