Guide typeclass search via more specialized typeclasses
Find places where a general typeclass (like SetUnfold
before) can be split into more specialized typeclasses (like SetUnfoldElemOf
) such that typeclass search is always guided by the head symbol. stdpp!66 (merged) applied this optimization to SetUnfold
.