relative comonads from comonads