Solve comonad exercises