template<typename T>
tk::HasTypedefProxy struct

Detect if T defines type "Proxy".