おぉ、なるほど。whereにするといけるのか。 <T2: B<A>> で二重になってたのが悪かったんですかね、やっぱり。