As always, it's a problem of balancing complexity vs. utility while striving to raise the level of abstraction. With regards to TypeScript, any, unknown, never

As always, it's a problem of balancing complexity vs. utility while striving to raise the level of abstraction. With regards to TypeScript, any, unknown, never are perfectly valid types and plenty useful, just need to be used appropriately.