Candidates for type-level-sets