checked sect 4 on comonads