Erro no tipo genérico dentro do limite do curinga

Eu tenho uma interface de iterador personalizada

public interface ThrowingIterator<T, E extends Throwable> {
  // matches interface of standard Iterator, but next() and hasNext() can throw E
}

e uma implementação

public class CustomIterator implements ThrowingIterator<List<MyType>, IOException> {
  // ...
  public CustomIterator() {
     // ...
  }
  public static ThrowingIterator<List<MyType>, IOException> helperFactory() {
    // ...
  }
}

onde class MyType implements MyInterface. O problema que tenho está na seguinte função:

ThrowingIterator<List<? extends MyInterface>, IOException> getIterator() {
  if (someCondition) {
    return new CustomIterator();
  }
  return CustomIterator.helperFactory();
}

O compilador está apresentando erros em ambas as instruções de retorno, por motivos diferentes. Intellij fornece o seguinte:

// first
Required: ThrowingIterator<List<? extends MyInterface>, IOException>
Provided: CustomIterator
// second
Required: ThrowingIterator<List<? extends MyInterface>, IOException>
Provided: ThrowingIterator<List<MyType>, IOException>

Pelo que eu sei, CustomIteratordeve caber no que é necessário, já que o tipo para o qual ele implementa ThrowingIteratorse ajusta dentro dos limites do curinga (especialmente olhando para o segundo caso, já que MyType implements MyInterface, que é o que eu pensei ser exatamente o que está tentando? extends MyInterface capturar). esse problema de genéricos seja resolvido minimizando a quantidade de curingas nas declarações/assinaturas? A assinatura de getIterator()está correta como está. Também entendo que fornecer um iterador em uma lista é uma má prática; correção que é tratada em outro lugar.