Persistent sequences with insert and delete and canonical structure?

Wondering if someone on HN came across a solution to this before?