A few things to add:
Oh, thank you for the term of art!
Good point about the importing via use. I’ve found that rustc is pretty nice about suggesting traits to import, though.
Going through a lot of this reminds me of dealing with Haskell typeclass coherence/consistency issues and I go wonder if Rust will ever end up going down this road (the classic example being not being able to have a “default” implementation for traits with more specific implementations down the road)