Exist a faster way to merge two deques than this?
# a, b are two deques. The maximum length
# of a is greater than the current length
# of a plus the current length of b
while len(b):
a.append(b.popleft())
Note that I'm not interested in preserving input deques, I'm only interested in having the merged one as fast as possible.