makeIterator() -> Iterator は covariant positionだからoK

4:19 AM

Calleeから決定される型が入力に来るようなパターンですよね

入力ってvariance的な話か。そうですね。