to post messages and comments.

А кто мне скажет, можно ли как-то по-человечески в хацкеле работать с двумерными структурами данных фиксированного размера? Ну, там, матрица какая-то или таблица, желательно с доступом к элементам за O(1). А то [[a]] и Map (Int, Int) a не впечатляют.

Или мне всё-таки нужно сломать мозг и перестать думать в этом русле, а найти какой-то более haskell way?

Наткнулся тут на работу чуваков из Microsoft Research и ещё откуда-то. Как я понял(?) по первым строчкам, предлагают ввести полиморфизм в систему type kinds в Haskell. Дальше раздела «Abstract» у меня дело не пошло, так что… я просто оставлю это здесь: reddit.com

В жуйке такой серьёзный народ собрался, что аж стыдно такое писать, но… Дочитал я на досуге «Learn You a Haskell for Great Good». Ничего так книжечка — IMHO лучше начинать всё-таки с неё, а не с «Real World Haskell». Хотя в последней упражнений куча, что есть гуд. Надо теперь попробовать почитать «The Haskell School of Expression» amazon.com