3
Existe um conceito de algo como functores coaplicativos sentados entre comônadas e functores?
Qualquer mônada também é um função aplicadora e qualquer função aplicadora é um função. Além disso, qualquer comonada é um functor. Existe um conceito semelhante entre comônadas e functores, algo como functor co-aplicativo e quais são suas propriedades? \begin{array}{c} \end{array} Functors↑Funções aplicáveis↑MônadasFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Funções aplicáveis???↑↑MônadasComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …