olemus
a relationship between two sets of types where they both subtype in the same direction

ülevaateid
https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)

https://theobjectorientedway.com/chapters/covariance.html

https://medium.com/@mlbors/covariance-contravariance-81f55b346915