What is a Literal type?

A Literal type restricts a value to specific constants. For example, Literal of red, green, blue means the value must be exactly one of those strings. It is useful for typing flags, enums, and discriminated unions where the set of allowed values is small and known.