Surprisinlgy little comment on this proposal.
Perhaps it landed when yous were busy elsewhere.
I'd like to push it to the committee soon;
this is an invitation for more feedback.
Richard E wrote a nice brief summary
https://github.com/ghc-proposals/ghc-proposals/pull/56#issuecomment-311421457
After years of pondering this idea (in various forms),
and several rounds of discussion on several forums,
I've written it up.
"This proposal tackles the thorny topic of Overlapping
instances,
for both type classes and Type Families/Associated types,
by annotating instance heads with