So what do you suggest?

UFCS makes this pattern more attractive than ever, but our lookup rules inhibit any practical application.

The problem is essentially that a more-local import or singular declaration shadows an entire overload set from a less-local scope, rather than merging with it.