Candidates for type-level-integers