Overloaded non-empty lists