Comment by Tade0

> Very rarely we find a case that we can't cover with JSDoc annotations

I regret every `infer` statement I've put in application code.

Grug phrased this elegantly:

https://grugbrain.dev/#grug-on-type-systems