Why not `while seq.len() > 1 { ... }`?