Candidates for type-equality

Delete All Candidates