extension P { typealias A = B } これだと、Tに生えてるわけじゃない、のかと思ったけど2番めのは通るのか。