Предположительно, все монады могут быть выражены с помощью Free
(если это не так, что такое встречный пример и почему)? Как продолжение монады или его соответствующий трансформатор выражать с помощью Free
или FreeT
- что было бы соответствующим функтором? Или, если они не могут, какая причина?
Обновление: По выражению я имею в виду в основном изоморфный Free F
, где F
- функтор, который мы ищем, например, Writer w
изоморфен Free ((,) w)
.