nonempty/exists destructuring #464