added link to example in Control.Monad.Free.TH
added link to example in Control.Monad.Trans.Iter
added link to example in Control.Applicative.Free
make use of runAp_ in example