Free monads are useful for many tree-like structures and Domain-Specific
Languages.

WWW: http://github.com/ekmett/free/