3
comonadsとfunctorの間にあるco-applicative functorのような概念はありますか？
モナドはすべて適用ファンクターであり、適用ファンクターはファンクターです。また、comonadはファンクターです。comonadsとファンクターの間に同様の概念がありますか？共同適用ファンクターのようなものがあり、その特性は何ですか？ \begin{array}{c} \end{array} ファンクター↑応用ファンクター↑モナドファンクター↑？？？↑コモナドファンクターファンクター↑↑応用ファンクター？？？↑↑モナドコモナド\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ \mbox{Monads} & & \mbox{Comonads} \\ \end{array} 更新：このような概念の可能な用途にも興味があります。