This presumes a Processor-like type (and calls it Publisher). A Publisher does not necessarily have a Subscription that it could cancel. I still think that introducing a name (i.e. type) for a `Publisher with Subscriber` is a good idea, and it would be needed in order to formalize this rule.