Specialise: Also specialize arguments whose dictionary nature is hidden by a type family.

This addresses #26051 (closed), which I noticed while investigating #19747 (closed).

However while it does fix #26051 (closed) it does not fix #19747 (closed) as #19747 (closed) seems more related to inlining than specialisation.