ああ、Shited型を作るんじゃなくてassociatedtypeにするとStringから直接Stringが得られるって事か。

5:11 AM

でもStringを再構成よりインデックスだけずらしてるラッパーの方が動作は軽そう。

5:13 AM

ShitedがCollectionだと思うんで、 String(Shifted(str, ...)) で明示的に再構成すれば良い気もします。