https://rust-lang.github.io/chalk/book/clauses/coherence.html [[外部トレイト]]を[[外部の型]]に実装することを防ぐためのルール?