Using two types with one template definition

Is it possible to use two different types, one is a subtype of the other, with one template definition?

Something like:

template<typename T>
void foo(T a, T::bar b);