Enhancement: Tagged version of a type

[Beraliv]

What

The definition of the problem - https://github.com/type-challenges/type-challenges/tree/main/questions/00697-extreme-tag

It's split into sub-problems:

• Write a function Tag<B, T extends string> that takes a type B other than null and undefined and returns a type labeled with the string literal type T.
• GetTags<B> retrieves a list of all tags of a type B.
• HasTag<B, T extends string> checks if type B is tagged with tag T (and returns true or false)
• HasTags<B, T extends readonly string[]> checks if type B is tagged in succession with tags from tuple T
• HasExactTags<B, T extends readonly string[]> checks if the list of all tags of type B is exactly equal to the T tuple
• Finally, add type UnTag<B>, which removes all tags from type B

Solutions:

• type-challenges - https://github.com/type-challenges/type-challenges/issues?q=label%3A697+label%3Aanswer+sort%3Areactions-%2B1-desc
• type-fest - https://github.com/sindresorhus/type-fest/blob/main/source/opaque.d.ts

Examples

The test cases - https://tsplay.dev/NlKEOw

Additional Info

type-fest has support of the following functions:

• Tagged with support of multiple tags and per-tag metadata.
• UnwrapTagged
• TaggedUnion