> The crux of the problem, where all the examples above share in common, is that C++ does not have a type for overload sets. >There is a recent proposal that a

> The crux of the problem, where all the examples above share in common, is that C++ does not have a type for overload sets. >There is a recent proposal that aims to address this exact issue: P3312 - Overload Set Types. Painfully common story.