Here are a couple links that have helped me understand these types:
https://ivov.dev/notes/typescriptand...
https://www.zhenghao.io/posts/tsnever
https://blog.thoughtspile.tech/2023/0...
My Blog: https://shaky.sh
My Coding Setup: https://shaky.sh/tools/