Comment by seanmcdirmid

It’s obvious how to make concat fast if one is willing to give up O(1) random access operations. Push is already O(1).