Btw in this context I would like to share Type Fast by sindresorhus [1].

I find it excellent and definitely a helpful tool to think about when you are struggling with type safety vs runtime data.

1: https://github.com/sindresorhus/type-fest