[Haskell-cafe] What are "free" Monads?

Hello, I see the term "free monad" quite a lot, but don't really see an explanation what a free monad is. What sets a monad free and why in this day and age are there unfree monads? Günther