Предположим, яполучаю большой список предметов при работе с IO:

as  IO b на:as
as  m b) -> [a] -> m [b]и этоЧто мне нужно с точки зрения соответствия типов. Но он строит всю цепочку в памяти, пока не вернет результат. Я'ищу аналогmapM, который будет работать лениво, так что я могу использовать главуbs в то время как хвост все еще строит.