Переписываю xbattbar (http://iplab.aist-nara.ac.jp/member/sugu.....ttbar.html) на хаскеле. Оказывается, вполне можно писать ничего не зная про моноиды в категориях эндофункторов. Такая няшная сишка получается, без объявления типов переменных. Весело.