template<typename T, typename Tag = default_tag, typename Enable = void> 
struct is_entity {
  // types
  typedef bool        value_type;  // Integral Constant value type. 
  typedef unspecified value;       // true if T models Entity, false otherwise. 
  typedef unspecified type;        // Integral Constant. 
};