Я видел терминСвободная Монада выскакиватькаждый в настоящее время а также тогда в течение некоторого времени, но все, кажется, просто используют / обсуждают их, не объясняя, что они собой представляют. Итак: что такое бесплатные монады? (Я бы сказал, что я знаком с монадами и основами Хаскелла, но имею только очень грубые знания теории категорий.)