Type argument listはconcrete typeである必要があるので、こういうのは無理って書いてある。 extension Pair<Int, _> {} // error: Cannot extend a type that contains placeholders よってwhereはこういう場面で使われることにはなりそう。