Candidates for finite-typelits