It is incomplete to mentions unknown without mentioning never

the behavior of unknown is the opposite of never

all type extends unknown, but unknown cannot extends all type except unknown itself

never extends all type but all type does not extends never except never itself