This is a whole series of articles, and he does address type overloading in one of them, which is maybe what you're looking for.

https://belkadan.com/blog/2021/08/Swift-Regret-Type-based-Ov...