Finished Extend and Comonad