added basic remarks about comonads