具有值语义的特定多态性和异构容器

I have a number of unrelated types that all support the same operations through overloaded free functions (ad hoc polymorphism):I have a number of unrelated types that all sup