Comonad Laws fix