Keeping the impls local would prevent the problems with actually embracing incoherence. But that is a very strong restriction, so it's not clear to me is whether there are any use cases that would a) actually be solved by this, and b) would not be better off with a newtype.
Keeping the impls local would prevent the problems with actually embracing incoherence. But that is a very strong restriction, so it's not clear to me is whether there are any use cases that would a) actually be solved by this, and b) would not be better off with a newtype.