https://123dok.net/document/zwv927og-functorial-polymorphism-and-semantic-parametricity.html