Basic description of ComonadHoist