[Augsburg-pm] Covariance and Contravariance: a fresh look at an old issue

[Ingo Blechschmidt]

https://www.irif.univ-paris-diderot.fr/~gc/papers/covcon-again.pdf
(a primer in advanced type systems for learning functional programmers)

Mit Code-Beispielen in Perl 6!