хм, забавно. похоже на троллинг, который в процессе написания всё больше переставал им быть. так-то он прав в примерах, системы графического программирования это часто как раз каноничные пайплайны из чистых функций (блоков), например.
Ну можно и так сказать, но для меня использование континюейшенов ~= IO (иначе зачем ты это делаешь)
Вот и я думаю, зачем дизайнить языки так, что у тебя есть топлевельное ио и все равно нужно явно какие-то шедулеры, потоки указывать, ещё и через внешние зависимости