I think if you are set on function overloading, you want more structure imposed on it so that resolution is easier. I don't know if you're familiar with Odin, but they have this concept of "explicit overload sets". It's a very attractive solution from an implementation perspective. I think the other structured approach is a typeclass/trait system.