This is a research project aimed at introducing language support for type erasure in C++.