The current tools for dynamic polymorphism in C++ are not expressive and
efficient enough, almost all uses of virtual functions in the standard
library are poorly extensible and pay for what we do not use. I would like
to offer my vision of solving these problems.