[zeugmasyllepsis]

Right - so if you're introducing type annotations into an existing project and have a method expecting some interface, used by many call-sites spread across various parts of the project, then you can go around wrapping the original type at each call-site as you've indicated.

Or add a single type annotations to the method declaring that the parameter satisfies a protocol.

[neolog]

    implementer(IReceiver)(builtins.set)

only needs to be written once, not once at each call site. It's telling the global registry that builtins.set implements IReceiver.