https://9dok.net/document/yevk41d1-calculus-thegenericitytheoremandthenotionofparametricityinthepolymorphic.html