Candidates for predicate-typed

No candidates exist for predicate-typed. Upload one for this or another package?