@omochimetaru SubSequence が AnySequence だったらさっきの extension の条件を満たせて prefix を実装したことになるんだけど、そのためには prefix の戻り値から SubSequence が AnySequence であることを推測しないといけない気がしてる。