Какие ограничения и особенности стоит учитывать при использовании `typing.Literal` и `typing.Annotated`? Приведите пример, где они полезны, и объясните, как они взаимодействуют с инструментами статической типизации.