Here are a couple links that have helped me understand these types:
https://ivov.dev/notes/typescript-and-set-theory
https://www.zhenghao.io/posts/ts-never
https://blog.thoughtspile.tech/2023/01/23/typescript-sets/
My Blog: https://shaky.sh
My Coding Setup: https://shaky.sh/tools/