[Boost-users] metaprogramming -- does a specialization exist?

Is there some way to check at compile time whether a particular specialization exists? E.g. I have a template class with two template arguments which are commutative -- means they can be exchanged and the result is the same. Can I check whether type exists and if not select type? Peter