Add Extend and Comonad instances