return new IndOrdSeq(l.tree.push(a).concat(r.merge(other.tail()).tree));