protocol Sequence { associatedtype Iterator : IteratorProtocol ... associatedtype SubSequence : Sequence // currently ill-formed, but should be possible }

シーケンスのサブシーケンスはシーケンス、としたいけど現状はできない、とかがあるらしい