relative comonads with cut