Documented Template Haskell module for Free monad.