It's the guard against extending elsewhere that I'm interested in.  We don't want the ability to implement the trait to be part of the public API, something that we would have to commit to binary compatibility for.  Rule: if enough people are using your software, then if something can be done, it will be done.