Personally, I’d like to see something like
// crate a
type K = ..;
// crate b
trait T { /* several methods K has inherently */ }
impl T for K { super; }
An empty impl spooks me a bit, but having a single item on the inside for explicit implementation seems much nicer.