50-100 rep for answers in TypeScript's type system
There aren't many answers here written in TypeScript's (turing complete) type system; as of posting, there six, two of which are my own. I like seeing such answers, so I'll be awarding a 50 rep bounty to answers that meet all of the following criteria:
Are posted later than 2021-11-27 (date of bounty ...
100 rep for interpreting a TC language in Tarfish
Answers should go to this question. Add a comment to this as well.
Any tag system
Anything implemented in the linked question