I'm surprised C++ doesn't support it. I wonder how rust does (with Traits)