Candidates for th-letrec

No candidates exist for th-letrec. Upload one for this or another package?