I agree - although I worry about the direction being taken currently to prevent modules from using the same name unless they know in advance about each other, and create some joint module that they can both import from in order to extend the generic function.
I think this would unfortunately end up with a lot of message like: julia> using Base.Libdl Warning: using Libdl.dlopen in module Main conflicts with an existing identifier. Scott
