comment about relative and absolute comonads
rel comonads from comonads