3
Gibt es ein Konzept für so etwas wie koapplikative Funktoren, die zwischen Komonaden und Funktoren sitzen?
Jede Monade ist auch ein anwendbarer Funktor und jeder anwendbare Funktor ist ein Funktor. Auch jeder Komonade ist ein Funktor. Gibt es ein ähnliches Konzept zwischen Komonaden und Funktoren, so etwas wie ein koapplikativer Funktor, und welche Eigenschaften hat er? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Anwendbare Funktoren???↑↑MonadenComonaden\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …