template<typename T> class TypeCheck;
template<> class TypeCheck<int> {};

template<typename T>
struct A: public TypeCheck<T> {};

int main()
{
  A<int> ai;
  A<double> ad;
}

Add a code snippet to your website: www.paste.org