fair to say that the keep proposal impls coherence only so far as automatic resolution is considered, but for manual application you can override without having to perform newtype tricks?