Дочитал эльмову часть книжки. Чёт автор упоролся в конце. Переизобрёл половину оптики, монадки. Ввёл фейковые классы типов, чтобы как бы на эльмовом синтаксисе показать это всё.
Апдейт. Про PureScript толком ещё ничего и не даписано. Про Idris вообще один заголовок-заглушка.
В том огрызке, который про purs, автор опять начинает своё "пурсоводы импортируют так-то, но мне не нравится и я буду эдак". Кароч, книжку можно закапывать