Tはassoctypeと見做せるでしょ、という話