テンプレート引数を特定のクラステンプレートに制限することはできますか？

例えば

template <int N> class A { ・・・ };
template <typemane T> class B { ・・・ };

これで、クラステンプレートBのテンプレート引数に設定できる型を
クラステンプレートAの実体化された型に限りたいです。

つまり、

typedef A<3> a;
typedef B<a> b; // ok
typedef B<char> b2; // コンパイルエラー

このようになってほしいです。
できるでしょうか。