Updated to comonad-4.0