例の constraint の条件が悪いのであって、 SubSequence == AnySequence<Element> なら問題ない気が。