https://9dok.net/document/zwvm3rn1-plp-a-package-for-parametric-programming.html