Operations of the TAD of sequences implemented in Haskell with lists and with vectors. Data Structure and Algorithm II.
In the pdf you can see the comparison between both implementations and a rigorous demonstration of their computational complexity and parallelism.