Super super early, but this is honest to god language-level C++ type erasure, aka trait objects. People have been talking about it for 20 years. It's becoming real.

1. Declare an interface.
2. impl your types.
3. dyn_cast your object.
4. Call methods through…