Hacker News post about this: https://news.ycombinator.com/item?id=39309783 (source available)
Take a look at some typescript libraries and frameworks and you will see stuff like this. Completely unreadable mess.
I have seen image recognition or text RPGs with type script types, but
const ok:true = true as Grid< 4, 9, 2
Wtf
Not OP, and these examples are not unreadable, but they are a few steps up from your typical generics.
https://effect-ts.github.io/effect/effect/Unify.ts.html#unify
Creating basic functionality for the language always leads to unreadable code.
The C++ version would be much, much worse, and the Lisp version is Lisp.