Bクラスを定義するだけならそのTに合致してなきゃならない理由がない
その制約はインスタンスを作る側にしか意味がない