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

[Dan Doel]

On Monday 01 March 2010 12:50:21 pm Henning Thielemann wrote:
> On Sat, 27 Feb 2010, Dan Doel wrote:
> > Free structures originate (I think) in algebra. There you'll find talk of
> > free groups, free rings, free monoids, etc.
> 
> How about turning this post into a HaskellWiki article in
> Category:Glossary ?

Here's a first draft.

  http://haskell.org/haskellwiki/Free_monad
  http://haskell.org/haskellwiki/Free_structure

Feel free to make suggestions/changes.

-- Dan