Я просматривал слайды на http://www.algorithm.com.au/downloads/talks/monads-are- не-страшно/монады-не-страшно-чак.pdf
и прибл. На 75% колоды есть пункт «Переопределить ввод-вывод, чтобы упростить отладку!»
Очень интригующая идея! Кто-нибудь может привести практический пример того, о чем говорит спикер?