Applicativeを

pure :: Identity ~> f
apply :: Day f f ~> f

と捉えて、その相対を

copure :: f ~> Identity
coapply :: f ~> Day f f

としたものを考えていたのだが、

これ、Comonadを含意する