Since it does not take in any K, it can safely be declared to be covariant on K.

• 因为它没有传入任何K类型的对象，它能安全地声明为对于K可协变的。