T2を定義する型は分離しておいて、A: HasT2 where T == Intかな