added remark about rest not being morphism of comonads