Ну в общем потыкал эти ваши лензы. Не, ну чо, реально удобно ковыряться в стейте и
теребить поля рекордов. По видосу эдика было как-то неочевидно. Ехал профунктор
через профунктор сунул моноид в эндофунктор.
Делал вот эту хуйню:
http://www.linux.org.ru/news/doc/8930414/page1#comment-8934133
(Автор камента правда мудак, так и не ответил, правильно ли я понял задачу,
но это в общем-то не важно).
Cмешной понос: http://bpaste.net/show/I3MXDooyj8v1K3gEpAlu/
Есть только подозрение, что это задротство с операторами уровня J назавра забудется.