some mods in example of Tri
rest is not a morphism of comonads