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