Candidates for type-map