which must have a type that extends the second argument