Candidates for non-empty-sequence

No candidates exist for non-empty-sequence. Upload one for this or another package?