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