たしかに計算量のオーダーは変わらなくてもラッパーならバッファは一つで済むし計算も軽そうだね。

6:21 AM

associatedtypeなら、Shiftedをさらにshiftしたときにネストしなくて良い（ArraySliceがネストしないのと同じ）というのはありそう。