Я использую тип FreeT из библиотеки free , чтобы написать эту функцию, которая "запускает" базовый...

Я следовал разговору Рунара Бьярнасона о свободных монадах: http://functionaltalks

Допустим, у меня есть очень сложный набор вычислений вида computation :: IO a, который я не могу...