suffix が where なし extension だから、そこから suffix の他の実装がなければ SubSequence が AnySequence であることが推論されて、その結果 prefix 等の extension の制約 SubSequence.SubSequence == SubSequence も満たして、 prefix 等も実装してることになると。