Extend and Comonad