Candidates for type-equality-check

No candidates exist for type-equality-check. Upload one for this or another package?