template <class T> class has_sub_type
{
  template <class wrapped> class wrapper { };
  static size_1 test(wrapper<typename T::type>*);
  static size_2 test(...);
public:
  static const bool value = (sizeof(test<T>(0)) == 1);
};