docs: public static <T, U extends Unifiable<? super T>> Choice<Unifier> unifyList(
        Unifier unifier, @Nullable List<U> toUnify, @Nullable final List<? extends T> targets) {
      return unifyList(unifier, toUnify, targets, /* allowVarargs= */ false);
    }