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 ?