diagrams for comonads