Доброго времени суток. Вопрос по поводу type hints. Есть класс: from typig import

Question

Доброго времени суток. Вопрос по поводу type hints. Есть класс: from typig import

Generic, TypeVar, Callable

T = TypeVar('T')
V = TypeVar('V')

class Some(Generic[T]):

def __init__(self, value: T):
self.value = value

def map(self, f: Callable[[T], V]) -> 'Some'[V]:
return Some(f(self.value))

# "x" в этом случаи не выводит какого типа
# возможно по этому нет ошибки, что lambda возвращает не Some
Some(1).map(lambda x: x)

Хотелось бы выводить тип 'x' и получать ошибки при таких конструкциях, как то это возможно сделать?
Использую pycharm community + python 3.6.7