Use ComonadApply for evaluate rather than Applicative. It's equivalent, but it makes more sense this way.