Scala does not have a global coherence requirement for its implicits. #2046 contains a discussion whether this should be changed and section 9 of #4153 contains another proposal to have local, inst...