Christian Maeder wrote: > seqInsert i v = Map.insert i v > . Map.mapKeysMonotonic (\ j -> if j < i then j else j + 1) Sorry, only O(n) and not O(log n). The same would apply to delete.