Imagine being able to use C++ to operate on types at compile time instead of using the verbose template syntax.