Why is it okay to discard the tail of this list? Either add a comment to explain, or tighten up the code to enforce the `length <= 1`.