Eu vi o termoMônada Livre Aparecercada agora e então por algum tempo, mas todo mundo parece usá-los / discuti-los sem dar uma explicação do que eles são. Então: o que são mônadas livres? (Eu diria que estou familiarizado com as mentes e os princípios básicos de Haskell, mas tenho apenas um conhecimento muito grosseiro da teoria das categorias.)