Candidates for agda-unused

Delete All Candidates