A weird typo in comonad laws