Variance in type systems

I could never remember what covariance, contravariance and invariance meant. These concepts show up quite frequently in programs. So I decided to learn them once and for all and wrote up a post. I’m open to any feedback 🙂