Documented Template Haskell module for Free monad.

_Specification cum microtutorial_ for the Control.Monad.Free.TH package.