A lazy template metaprogramming library for C++