正負の数としてイメージしたら解りやすいな、Out Tで、functionの引数にcontravarianceなTを入れるのはok