Type Covariance
[Contravariance](https://texonom.com/contravariance-a34a2b311ca34f229a2814095455953e) 


### 공변성
A 가 B 의 서브타입일 때, T<A> 가 T<B> 의 서브타입이 된다면, T 를 공변적이라고 본다
Array는 대표적으로 공변적




> [공변성이란 무엇인가 / seob.dev](https://seob.dev/posts/%EA%B3%B5%EB%B3%80%EC%84%B1%EC%9D%B4%EB%9E%80-%EB%AC%B4%EC%97%87%EC%9D%B8%EA%B0%80/)





