C++ metafunctions normally don't look like functions. What if this changed with C++11/C++14? What if metafunctions can be C++ functions? I decided to try it out. I decided to begin with type functions. We want functions which take types as arguments and return types. Here's a type container for these functions to operate on.