Candidates for validated-types

No candidates exist for validated-types. Upload one for this or another package?