SubSequenceが自身の型なら、prefixは自明だから実装できるということでは