Hmm I can kind of see what you mean, but I don't see it as a big of a problem. If you make package A depend on package B, package B monkey-patches x with metho

Hmm I can kind of see what you mean, but I don't see it as a big of a problem. If you make package A depend on package B, package B monkey-patches x with method Foo so now x is a Fooer x now satisfies the Fooer interface in package A, well that seems ok. You imported B after all. In things that don't import B, x doesn't satisfy Fooer. Is this unexpected behavior? If B depends on C, C's x won't satisfy Fooer right?