This is troll software for sure (in the best possible sense of the term!). But it’s also genuinely neat to be viscerally aware of what it is like to encode spellchecking as a static analysis problem. And this is relevant to more practical issues in type-level programming.
Excellent! As soon as I saw the PR for template literal types, I knew crazy stuff like this would emerge.