Many type hinting use cases don't need type objects in runtime.
So I think PEP 563 is better for type hinting user experience.

You mean, in situations where the user doesn't want to import the types, because of heavyweight imports or circular imports?  I didn't think those were very common.

/arry