鶏卵的ですが、 AnySequence はそれを満たすから SubSequence が AnySequence なら OK ってことじゃないですか？