not_actually_reified_type.cpp

#include <iostream>

using namespace std;

template <typename Type>
typename Type::Repr quux(Type sig, typename Type::Repr val) {
    return val;
}

template <typename Type>
struct Reify { typedef Type Repr; };

auto String  = Reify<string>();
auto Integer = Reify<int>   ();

int main(void) {
    cout << quux(String, "escape")
       << quux(Integer, 1643728);
    return 0;
}