corrected comonad product in context