Mar 27, 2022
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