Updated notes about ComonadApply with info that was elsewhere but relevant.