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.