ComonadApply doc