py-typing_extensions is a stub port
