Is there a tradeoff between structural typing and allowing the addition of functions to types defined outside of your package?

They seem like orthogonal concerns to me, but maybe they aren't?