I feel like he went through all this effort just to make the joke "A more perfect union."

But seriously, a great write up. std::any looks like it could be dangerous in the hands of the inexperienced, especially in a sea of other changes that makes working with types easier and safer.