to post messages and comments.

в ходе ковыряния с курсорами xml-conduit набрёл на такой вот приём "пакетирования" результатов разбора: xs <- fmap (\x -> [x]) $ c $/ someCusorF. Получается что внутри списочной монады я куски заворачиваю в список же. Может это всёж какой относительно стандартный фокус и его можно как-то прямее на списочной монаде изобразить?

Годная серия статей про монады в скале:
james-iry.blogspot.com
james-iry.blogspot.com
james-iry.blogspot.com
james-iry.blogspot.com
В последней части создаётся рабочий пример монады IO.
Также в директории examples/monads из архива "Scala API and code examples" (по ссыле scala-lang.org ) есть ещё несколько примеров монад.