Document Cofree, cofree and runCofree in Control.Comonad.Trans.Cofree