added remark about enriched comonads