Ура! // обмазываюсь потихоньку, сокращаю строки кода

          ReportDataMap $!! (hm & at (ev ^. evAdId) . non mempty
                             . rdPerHourMap
                             . at (hourTS ev) . non mempty
                             . rhViews +~ 1)
          -- ReportDataMap $!! H.insertWith
          --   (\_ old -> incReportDataView (hourTS ev) old)
          --   (ev ^. evAdId)
          --   (singleViewReportData (hourTS ev))
          --   hm

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