any Tにsome Uを生やせるのがそもそもマズいのでは？と思った

8:31 AM

extension Tと書いたときに、それがsome Tに生えてるのかany Tに生えてるのかを区別できれば

8:31 AM

問題にならなくなる気がするな