SubSeqeuece制約が必要なのはO(1)にするためで、普通のArrayだと適合しないから補完でないのが正しいのか