tl [1,2,3] ^ [1],
len [1,2] + 1,
inds [1,2,3] union {5,6},
conc [[1,2],[3,4]] union inds [5,6]