instance Extend, Bind, ComonadApply