Кошмiр. Три недели назад всем тут надоедал с домашкой, которую не мог решить, и чувствовал, что препод задания туда впихнул по материалам какого-то учебника. И вот приходит ещё одна домашка, от которой я тотчас отказываюсь, но сохраняю условия задач. Там есть слова "equational reasoning Haskell". Гуглю. Попадаются какие-то статьи. Читаю первую, вторую... всё не то... не мог же препод давать задания на основании статей... в третьей статье ссылаются на книгу Хаттона... качаю... ВОТ ОНО!..
Вот так, дети, стрюктурирован материал в Хачкеле...