It would be great to see boost::variant generalized to support generalized algebraic data types (GADTs), it would open up some many opportunities, it's must! (just kidden :) ).