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 I

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.