Candidates for type-combinators

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