Sequenceを実装する型があるとき、それはSubSequenceを何かしら決めてるわけで