Returns the value type of the underlying
template< typename T > struct value { typedef unspecified type; };