extension Sequence where Self.SubSequence : Sequence, Self.SubSequence.SubSequence == Self.SubSequence, Self.SubSequence.Iterator.Element == Self.Iterator.Element {
これか