I'm not a C++er, but I sorely miss this is nearly every non-Haskell language. I have a type capable of some behavior, e.g ToString. I also want to write gener

I'm not a C++er, but I sorely miss this is nearly every non-Haskell language. I have a type capable of some behavior, e.g ToString. I also want to write general code operating on such objects (highlighting, obfuscating passwords, escaping, etc.). But I have zero desire to throw away its static type information. If it gets stored in an Escaped<T>, the compiler ought to know T is still my type.