Хочу корутины. Суть такова: нужен трансформер, который позволит добавить к логике в виде последовательности действий добавить точки передачи управления вызывающей стороне с передачей туда информации о прогрессе или типа того. В принципе эта херня подойдёт https://hackage.haskell.org/package/monad-coroutine, но возможно есть что-то более общеупотребимое.