Объясните, как использовать `Generic` и `TypeVar` для создания типобезопасной функции, которая принимает список элементов одного типа и возвращает список элементов другого типа. Приведите пример кода и укажите, как это помогает в статической проверке типов.