template<typename T>
tk::HasTypedefExpectType struct

Detect if T defines type "expect::type".