制約としてのプロトコルって書く場所があまりないけど、 associatedtype や型パラメータって何度も繰り返し使われるから、 associatedtype Iterator: IteratorProtocol 的にプロトコル名を長くした方がよくないですか？