無宣言SequenceがSubSequence==AnySequenceで推論されるのは、suffixの実装から伝播してる、でFAな気がする