Update comonad with functor law + change Id impl.