TypeScript никогда не выводит unknown — этот тип нужно явно аннотировать (a)9.
2. Можно сравнивать значения со значениями типа unknown (b).