mypy

Make "Using isinstance() with protocols" example runnable

#10038

Merged