<p dir="ltr">This would be very useful indeed.</p>
<p dir="ltr">Can closed type families not be used to achieve the same result even now, already?</p>
<p dir="ltr">I tried to use type families recently to explicitly pick an (otherwise overlapping) instance in specified order but could not figure out, how.</p>
<p dir="ltr">If someone could give a complete simple example of primary intended use of closed type families with class instances,  this would help a lot.</p>