Was sind freie Monaden?

Ich habe den Begriff gesehen Freie Monad Pop - up jeden jetzt und dann für einige Zeit, aber jeder scheint nur zu benutzen / diskutieren sie , ohne eine Erklärung zu geben , was sie sind. Also: Was sind freie Monaden? (Ich würde sagen, ich bin mit Monaden und den Grundlagen von Haskell vertraut,...