instance CanZip NonEmpty