I’m not a great fan of template meta-programming. It is ugly, complicated, and so useful that sane people will do it despite its problems. So what I would like to do is replace the ugly and complicated parts of template meta programming with something simpler. And something simpler is generic programming, mostly.