https://book.mdco.me/book/Conception,_evolution,_and_application_of_functional_programming_languages_surveys_21_Hudak_P.__1989_English_djvu-2p41