Как в TypeScript получить тип из переменной?

У меня есть код:

let a: number | boolean
let b: typeof a = 12

Пока я не присвоил значение в переменную "а", "b" может принять любой из типов: number или boolean

После задания типа у "а", "b" должна иметь тот же тип, что и значение "а"

Как избавиться от typeof и получить доступ к типу переменной "a", а не её значения?