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://medium.com/@mlbors/covariance-contravariance-81f55b346915