Candidates for type-combinators-singletons

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