Normally I would agree with you but all of the other functions in this module only guard on the empty-list case.