no cut needed in rest is not a morphism of comonads