https://123dok.org/document/zkw0gmrp-functional-languages.html