vulneraball·4 lata temu·discussIs the never type just an alias for an empty union, or are these two somehow different types in TypeScript ?