template<typename T>
struct At
{
    typedef typename A<T, true> Type;
};

template<typename T>
struct Af
{
    typedef typename A<T, false> Type;
};

Af<int>::Type foo;
At<float>::Type bar;