I think like this too. Would only like to add that I believe a type parameter is *variant in relation to a function/method, not just by itself. That's why some

I think like this too. Would only like to add that I believe a type parameter is *variant in relation to a function/method, not just by itself. That's why some people say "appears in a covariant position " and so on.