Есть класс:

template<class T, bool VAL>
class A
{
};

Возможно сделать для VAL == false и VAL == true свои typedef'ы? Хотелось бы, чтобы это выглядело примерно так (разумеется, что написанное не компилируется):

typedef A<T, true> At<T>;
typedef A<T, false> Af<T>;

At<int> a1;
Af<float> a2;