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

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