[Typing-sig] Re: Spelling the type of a runtime type annotation object

Hello, trycast() works beautifully at runtime. There's just one problem:

I can't actually spell the types in the function signature for trycast(...)! You might think it would be:

T = TypeVar('T')

def trycast(type: Type[T], value: object) -> Optional[T]: ...

I've recently had to relax a type annotation in cattrs ( https://github.com/Tinche/cattrs/issues/105) due to a bug report for this exact problem, so I'm interested in a solution as well.

Slightly offtopic since we're working on similar problems: what's the benefit of using typed dictionaries instead of classes? To me structured data in Python automatically means a class.