fair to say that the keep proposal impls coherence...

# arrow

[jacob]

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?