Adding additional NonEmpty helpers to external List1 interface