Подскажите монаду

Either /thread.

на самом деле не /thread но уже близко к решению

import Control.Monad.Trans.Either
import "mtl" Control.Monad.State
import Data.DList (DList)
import qualified Data.DList as DL

data Q = Q Int deriving Show

type M a b = EitherT a (State (DList Q)) b

l :: Q -> M a ()
l y = lift $ modify (\x -> x `DL.snoc` y)

e :: a -> M a ()
e x = left x

test1 = do
  l (Q 1)
  l (Q 2)
  e ()
  l (Q 3)

λ> fst $ runState (runEitherT test1) DL.empty
Left ()
λ> DL.toList . snd $ runState (runEitherT test1) DL.empty
[Q 1,Q 2]

хотя я бы делал по другому..

хотя я бы делал по другому..

не томи, рассказывай как по-другому :)

а черт знает :) надо подумать, просто монадный стек городить не стал бы сразу.

Как ты себе это представляешь?

Если early termination, то копить нечего; если копить вместо фейла, то где early termination?

А так Alternative/MonadPlus для EitherT использует Monoid e.

Спасибо за идею, разбираюсь.

Если early termination, то копить нечего; если копить вместо фейла, то где early termination?

Грамматика не строгая, то есть я могу ожидать какие-то секции в структуре, но их может не оказаться, поэтому на EOF надо вернуть то, что получилось достать - это и есть early termination.

readHeader
readSection1
readSection2
// oops no section 3, return what we have so far
readSection3

При этом input хочется чейнить неявно, через State.

Тебе видимо нужна монада AbortT.

Возможно, имеет смысл посмотреть на тип WriterT result Maybe ().

Со State я могу кусочки парсера для отдельных секций представлять функциями вида s -> (a, s), и это удобно, а с врайтером я не понимаю, как это будет выглядеть, и получится ли аналогично структурировать.

Ну, то, что написано в Подскажите монаду (комментарий) — это, как раз, использования State вместо Writer. Но, может, в твоей задаче и нужен StateT.

Со StateT получается что-то вроде:

import scalaz._
import Scalaz._

object Playground extends App {
  type Stream = String
  type Mined = List[String]
  type ParserState = (Stream, Mined)

  type MyEither[+T] = Either[Playground.ParserState, T]

  val s1 = StateT[MyEither, ParserState, Unit] { s =>
    Right((("input at s1", add(s, "header")), ()))
  }
  val s2 = StateT[MyEither, ParserState, Unit] { s =>
    Right((("input at s2", add(s, "section1")), ()))
  }
  val s3 = StateT[MyEither, ParserState, Unit] { s =>
    Left(s)
  }
  val s4 = StateT[MyEither, ParserState, Unit] { s =>
    Right((("input at s4", add(s, "section3")), ()))
  }

  def add(s: ParserState, mined: String): Mined = mined :: s._2

  val parser =
    for {
      _ <- s1
      _ <- s2
      _ <- s3
      _ <- s4
    } yield ()
  println(parser.run(("input", List())))
}

Left((input at s2,List(section1, header)))

Пока не понял, нравится мне, или нет.

Кажется, Iteratee - то, что нужно.

Можно на код с Iteratee посмотреть?

Пока что не писал, но если позитивное что-то получится, напишу сюда.