Что такое literal types (литеральные типы)?

Literal type -- это тип, который принимает одно конкретное значение, а не любое значение этого примитива. Например, тип "hello" принимает только строку "hello", а не любой string. Литеральные типы бывают строковые ("active"), числовые (42) и булевые (true). Они особенно мощны в комбинации с union для создания закрытых множеств допустимых значений.