Ich habe den Begriff gesehenFreie Monade Pop-upjeden jetzt und dann für einige Zeit, aber jeder scheint sie nur zu benutzen / zu diskutieren, ohne eine Erklärung zu geben, was sie sind. Also: Was sind freie Monaden? (Ich würde sagen, dass ich mit Monaden und den Haskell-Grundlagen vertraut bin, aber nur sehr grobe Kenntnisse der Kategorietheorie habe.)