[
формальная логика в этомм деле хорошо поможет по идее
Я об этом и талдычу постоянно:
1) 99% начального Хаскеля состоит из "Дети, Эта функция прибавляет 3".
2) Ни один нормальный человек через это не пробирается и прыгает сразу к монадам.
3) Там ни фига не понятно.
4) Дыры надо интерполировать.
Хороший интерполятор может заменить многое. Но у него бывают такие вот флопы, как вчера.