Какой из следующих вариантов корректно аннотирует функцию, которая принимает `Callable[[int], str]` и возвращает `List[str]`?